Shortest reconfiguration paths in the solution space of Boolean formulas.
Amer E. MouawadNaomi NishimuraVinayak PathakVenkatesh RamanPublished in: CoRR (2014)
Keyphrases
- solution space
- boolean formula
- shortest path
- simulated annealing
- search space
- optimal solution
- metaheuristic
- sat solvers
- np complete
- linear constraints
- feasible solution
- exhaustive search
- practical problems
- unsatisfiable cores
- sat problem
- boolean functions
- heuristic search
- membership queries
- binary decision diagrams
- objective function
- neural network