Complexity of Constraints Nadia Creignou, Phokion G. Kolaitis & Heribert Vollmer: другие книги

Theory and Applications of Satisfiability Testing – SAT 2016

2016