Login / Signup
Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.
Martin Fränzle
Christian Herde
Published in:
LPAR (2003)
Keyphrases
</>
linear constraints
inference rules
search algorithm
theorem prover
artificial intelligence
modal logic