SAT Techniques for Lexicographic Path Orders

Published in: CoRR (2006)

Keyphrases

shortest path
sat solvers
search algorithm
satisfiability problem
cardinality constraints
boolean satisfiability
combinatorial optimization
phase transition
optimal path
sat problem
sat encodings
sat solving
stochastic local search algorithms