OptSAT

swMATH656MaRDI QIDQ13410FDOQ13410

Author name not available (Why is that?)

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 (4)

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

This page was built for software: OptSAT