OPIUM
From MaRDI portal
Software:20015
No author found.
Related Items (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
