Complexity of Constraints More Books by Nadia Creignou, Phokion G. Kolaitis & Heribert Vollmer

Theory and Applications of Satisfiability Testing – SAT 2016

2016