Satisfiability to Coverage in Presence of Fairness, Matroid, and Global Constraints.
Tanmay InamdarPallavi JainDaniel LokshtanovAbhishek SahuSaket SaurabhAnannya UpasanaPublished in: CoRR (2024)
Keyphrases
- global constraints
- symmetry breaking
- constraint programming
- boolean constraints
- constraint satisfaction problems
- integer linear programming
- weighted constraint satisfaction
- integer programming
- satisfiability problem
- sat problem
- arc consistency
- np complete
- constraint propagation
- computational complexity
- phase transition
- temporal information
- fixed parameter tractable
- constraint satisfaction
- essential matrices