Lazy Constraints and SAT Heuristics for Proof-Based Abstraction.

Aarti Gupta Malay K. Ganai Pranav Ashar

Published in: VLSI Design (2005)

Keyphrases

search algorithm
sat encodings
search strategies
constraint satisfaction
sat solvers
stochastic local search
stochastic local search algorithms
high level
propositional satisfiability
heuristic search
constraint programming
combinatorial problems
search problems
linear constraints
boolean variables