Itauto: An Extensible Intuitionistic SAT Solver.

Frédéric Besson

Published in: ITP (2021)

Keyphrases

sat solvers
orders of magnitude
sat solving
sat problem
propositional satisfiability
constraint satisfaction
sat instances
search tree
max sat
search space
boolean satisfiability
search strategies
data model
theorem prover
fuzzy numbers
search strategy
document collections
special case
sat encodings