OptSAT

swMATH656MaRDI QIDQ13410FDOQ13410

Author name not available (Why is that?)

Described by source

• optsat: A Tool for Solving SAT Related Optimization Problems

Cited In (1)

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

This page was built for software: OptSAT