Theory and Applications of Satisfiability Testing – SAT 2018

Full text!
Type:
e-book
Titel:
Theory and Applications of Satisfiability Testing – SAT 2018
Auteur:
Beyersdorff; Christoph M. Wintersteiger; Wintersteiger, Christoph M.
Taal:
Engels
Uitgever:
Springer International Publishing 2018
ISBN:
3-319-94143-7
3-319-94144-5
Permalink:
http://bibtest.howest.be/catalog/ebk03:3810000000358690