Theory and Applications of Satisfiability Testing -- SAT 2015 - bib.howest.be

Theory and Applications of Satisfiability Testing -- SAT 2015

Type:: e-book
Titel:: Theory and Applications of Satisfiability Testing -- SAT 2015
Auteur:: Heule; Weaver, Sean
Taal:: Engels
Uitgever:: Springer International Publishing 2015
ISBN:: 3-319-24317-9
3-319-24318-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:3810000000022299