Login / Signup
Differentiation of Blackbox Combinatorial Solvers.
Marin Vlastelica P.
Anselm Paulus
Vít Musil
Georg Martius
Michal Rolínek
Published in:
CoRR (2019)
Keyphrases
</>
combinatorial search
sat solvers
artificial intelligence
mixed integer linear
knowledge base
genetic algorithm
database systems
constraint satisfaction problems
global constraints
constraint problems
quantified boolean formulas
temporal planner
computationally hard problems