OPIUM

swMATH8000MaRDI QIDQ20015FDOQ20015

Author name not available (Why is that?)

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

Cited In (8)

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

This page was built for software: OPIUM