Module pminimal

$P$-Minimal Model Enumeration for Multi-Objective Optimization

This module implements $P$-minimal model enumeration as an algorithm for solving multi-objective optimization problems expressed as boolean logic. Instead of using the order encoding as in [1], any cardinality (for unweighted objectives) or pseudo-boolean encoding from RustSAT can be used. The actual enumeration algorithm follows [2].

References

• [1] Takehide Soh and Mutsunori Banbara and Naoyuki Tamura and Daniel Le Berre: Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation, CP 2017.
• [2] Miyuki Koshimura and Hidetomo Nabeshima and Hiroshi Fujita and Ryuzo Hasegawa: Minimal Model Generation with Respect to an Atom Set, FTP 2009.

Structs

PMinimal

The $P$-minimal algorithm type