Complexity of Constraints Plus de livres par Nadia Creignou, Phokion G. Kolaitis & Heribert Vollmer

Theory and Applications of Satisfiability Testing – SAT 2016

2016