Complexity of Constraints Mehr Bücher von Nadia Creignou, Phokion G. Kolaitis & Heribert Vollmer

Theory and Applications of Satisfiability Testing – SAT 2016

2016