Hybrid Incremental Algorithms for Boolean Satisfiability.

Florian Letombe João Marques-Silva

Published in: Int. J. Artif. Intell. Tools (2012)

Keyphrases

boolean satisfiability
incremental algorithms
sat solvers
probabilistic planning
boolean optimization

sat solving
symmetry breaking
randomly generated
branch and bound algorithm
integer linear programming

temporal constraints
sat problem
max sat
random sat instances
phase transition

heuristic search
state space
search tree
constraint satisfaction