Login / Signup

Fast and Verified UNSAT Certificate Checking.

Peter Lammich
Published in: IJCAR (1) (2024)
Keyphrases
  • sat solvers
  • data sets
  • machine learning
  • decision making
  • case study
  • np complete