Theory and Applications of Satisfiability Testing � SAT 2014
Carsten Sinz, Uwe Egly
Theory and Applications of Satisfiability Testing � SAT 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319092843
Theory of Computation; Artificial Intelligence (incl. Robotics); Mathematics of Computing
Theory and Applications of Satisfiability Testing � SAT 2014 - Springer 2014 - Lecture Notes in Computer Science .
9783319092843
Theory of Computation; Artificial Intelligence (incl. Robotics); Mathematics of Computing