Theory and Applications of Satisfiability Testing – SAT 2016 Nadia Creignou & Daniel Le Berre: другие книги

Complexity of Constraints

2008