New orthologic entailment algorithm and synthetic benchmarks from normalization equivalence improve SAT solving on some EPFL arithmetic circuit instances.
Kawano, Labeled Sequent Calculus for Orthologic, Bulletin of the Section of Logic 47 (2018) 217–
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Orthologic for SAT Solving
New orthologic entailment algorithm and synthetic benchmarks from normalization equivalence improve SAT solving on some EPFL arithmetic circuit instances.