Orthologic for SAT Solving

Vladislas de Haldat, Simon Guilloud, Viktor Kunčak

We present a new algorithm for deciding formula entailment in orthologic (a sound approximation of classical logic) that avoids the costly preprocessing phase of prior implementati…