Satisfiability to Coverage in Presence of Fairness, Matroid, and Global Constraints.
Tanmay InamdarPallavi JainDaniel LokshtanovAbhishek SahuSaket SaurabhAnannya UpasanaPublished in: ICALP (2024)
Keyphrases
- global constraints
- symmetry breaking
- constraint programming
- boolean constraints
- weighted constraint satisfaction
- constraint satisfaction problems
- integer linear programming
- parameterized complexity
- satisfiability problem
- integer programming
- computational complexity
- arc consistency
- np complete
- phase transition
- combinatorial optimization
- game theory
- linear programming