Login / Signup
Efficient Verified (UN)SAT Certificate Checking.
Peter Lammich
Published in:
J. Autom. Reason. (2020)
Keyphrases
</>
databases
lightweight
case study
cost effective
search engine
computationally expensive
propositional logic