Searching for "Solving Pseudo-Boolean Constraints" – sorted by Relevance.
-
Cutting Planes in Constraint Logic Programming
- form for pseudo-Boolean constraints should look like. We define a solved form which is based
- Cited by 4 (2 self) – Add To MetaCart
-
OPIUM: Optimal Package Install/Uninstall Manager ∗ Abstract
- and solve the pseudo-boolean constraint: min xa + xb + xc + xd + xe + 5xf + 2xg + xy + 0xz s. t. Distrib
- Cited by 2 (0 self) – Add To MetaCart

