Login / Signup
On the Tour Towards DPLL(MAPF) and Beyond.
Pavel Surynek
Published in:
DDC@AI*IA (2019)
Keyphrases
</>
propositional logic
traveling salesman problem
np complete
sat solvers
traveling salesman
first order logic
clause learning
propositional satisfiability
database systems
np hard
max sat
sat solving
bayesian networks
probabilistic model
description logics