Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas.
Amer E. MouawadNaomi NishimuraVinayak PathakVenkatesh RamanPublished in: ICALP (1) (2015)
Keyphrases
- solution space
- boolean formula
- shortest path
- simulated annealing
- search space
- metaheuristic
- sat solvers
- np complete
- optimal solution
- feasible solution
- unsatisfiable cores
- linear constraints
- membership queries
- exhaustive search
- practical problems
- binary decision diagrams
- linear programming
- max sat
- equivalence queries
- evolutionary algorithm
- lower bound