OPIUM

MaRDI QIDQ20015swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1248851

Cited in

(9)

• Boolean lexicographic optimization: algorithms \& applications
• OptSAT
• MaxSolver
• ToulBar2
• MSUnCore
• NixOS
• ABASH
• Iterative and core-guided maxsat solving: a survey and assessment
• A Model Driven Approach to Upgrade Package-Based Software Systems

This page was built for software: OPIUM