Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.
Francisco-Jesús Martín-MateosJosé-Antonio AlonsoMaría-José HidalgoJosé-Luis Ruiz-ReinaPublished in: LOPSTR (2002)
Keyphrases
- sat solvers
- theorem proving
- model checking
- search algorithm
- boolean satisfiability
- face verification
- satisfiability problem
- theorem prover
- phase transition
- signature verification
- stochastic local search
- propositional satisfiability
- sat solving
- natural language learning
- genetic algorithm
- formal methods
- constraint satisfaction
- asynchronous circuits