New orthologic entailment algorithm and synthetic benchmarks from normalization equivalence improve SAT solving on some EPFL arithmetic circuit instances.
Schulte Mönting, Cut elimination and word problems for varieties of lattices, Algebra Universalis 12 (1981) 290–321
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.