Login / Signup
The GRAT Tool Chain - Efficient (UN)SAT Certificate Checking with Formal Correctness Guarantees.
Peter Lammich
Published in:
SAT (2017)
Keyphrases
</>
computationally expensive
consistency checking
information systems
formal model
satisfiability problem
sat solving