Sign in
MiFuMax - a Literate MaxSAT Solver.
Mikolas Janota
Published in:
J. Satisf. Boolean Model. Comput. (2014)
Keyphrases
</>
upper bound
branch and bound algorithm
search engine
knowledge base
lower bound
combinatorial optimization
constraint solving
databases
artificial intelligence
clustering algorithm
computational complexity
sat solvers
constraint solver
jigsaw puzzle