Login / Signup
Horn Maximum Satisfiability: Reductions, Algorithms & Applications.
João Marques-Silva
Alexey Ignatiev
António Morgado
Published in:
CoRR (2017)
Keyphrases
</>
data structure
orders of magnitude
learning algorithm
heuristic search
constraint satisfaction
optimization problems
combinatorial optimization
search methods