Theory and Applications of Satisfiability Testing – SAT 2017

Serge Gaspers, Toby Walsh

Theory and Applications of Satisfiability Testing – SAT 2017 - Springer Springer 2017

9783319662633

EBOOK