Finding bugs efficiently with a SAT solver.

Julian Dolby Mandana Vaziri Frank Tip

Published in: ESEC/SIGSOFT FSE (2007)

Keyphrases

sat solvers
sat solving
sat instances
boolean satisfiability
constraint satisfaction
orders of magnitude
sat problem
search space
propositional satisfiability
search strategies
constraint solver
evolutionary algorithm
max sat
reinforcement learning
optimization problems
clause learning