OptSAT

MaRDI QIDQ13410swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/11853886_43

Described by source

• optsat: A Tool for Solving SAT Related Optimization Problems

Cited in

(5)

• MaxSolver
• ToulBar2
• OPIUM
• MSUnCore
• Iterative and core-guided maxsat solving: a survey and assessment

This page was built for software: OptSAT