MiFuMax - a Literate MaxSAT Solver.

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