Conference Proceedings

There Are No CNF Problems

PJ Stuckey

Theory and Applications of Satisfiability Testing - SAT 2013 | Springer | Published : 2013

Citation metrics