Login / Signup
Differentiation of Blackbox Combinatorial Solvers.
Marin Vlastelica Pogancic
Anselm Paulus
Vít Musil
Georg Martius
Michal Rolinek
Published in:
ICLR (2020)
Keyphrases
</>
combinatorial search
sat solvers
real world
database
data mining
genetic algorithm
data structure
computational complexity
combinatorial problems
sat instances