Shortest Reconfiguration Paths in the Solution Space of Boolean Formulas.
Amer E. MouawadNaomi NishimuraVinayak PathakVenkatesh RamanPublished in: SIAM J. Discret. Math. (2017)
Keyphrases
- solution space
- boolean formula
- shortest path
- search space
- simulated annealing
- sat solvers
- metaheuristic
- optimal solution
- np complete
- unsatisfiable cores
- practical problems
- linear constraints
- exhaustive search
- feasible solution
- membership queries
- evolutionary algorithm
- orders of magnitude
- boolean functions
- search algorithm
- search tree
- tabu search
- linear programming
- sat problem
- max sat
- cnf formula
- equivalence queries
- machine learning