Solving Boolean Satisfiability with Dynamic Hardware Configurations.

Peixin Zhong Margaret Martonosi Pranav Ashar Sharad Malik

Published in: FPL (1998)

Keyphrases

boolean satisfiability
boolean optimization
sat solving
integer linear programming
branch and bound algorithm
sat solvers
randomly generated
maximum satisfiability
probabilistic planning
random sat instances
dynamic programming
sat instances
special case
symmetry breaking