ℹ️
🇬🇧
Search
Search for publications relevant for "Constraints and Satisfiability: MaxSAT, MinSAT"
Constraints and Satisfiability: MaxSAT, MinSAT
Publication
Class
Person
Publication
Programmes
publication
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
2017 |
Faculty of Mathematics and Physics
