OPIUM

swMATH8000MaRDI QIDQ20015FDOQ20015

Author name not available (Why is that?)

Cited In (3)

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

This page was built for software: OPIUM