Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.

Martin Frnzle, Christian Herde

Browse the full LPAR paper archive.