Login / Signup
On the Tour Towards DPLL(MAPF) and Beyond.
Pavel Surynek
Published in:
CoRR (2019)
Keyphrases
</>
traveling salesman problem
np complete
sat solvers
propositional logic
first order logic
traveling salesman
clause learning
propositional satisfiability
sat solving
constraint satisfaction problems
search algorithm
orders of magnitude
state space
special case
search tree
sat problem
davis putnam
machine learning