Checking Safety Properties Using Induction and a SAT-Solver.

Mary Sheeran Satnam Singh Gunnar Stålmarck

Published in: FMCAD (2000)

Keyphrases

sat solvers
sat solving
orders of magnitude
constraint satisfaction
search strategies
max sat
evolutionary algorithm
optimization problems
image retrieval
search tree
sat problem
sat instances
propositional satisfiability
search strategy
boolean formula
boolean satisfiability
machine learning