PACE Solver Description: DAGer - Cutting out Cycles with MaxSAT.

Rafael Kiesel André Schidler

Published in: IPEC (2022)

Keyphrases

high level
sat solvers
decision trees
multiscale
data sets
real world
machine learning
search engine
web services
case study
image sequences
expert systems
upper bound
combinatorial optimization
clause learning