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