1 Ebooks de Daniel Le Berre
Daniel Le Berre & Nadia Creignou: Theory and Applications of Satisfiability Testing – SAT 2016
This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.The 31 …
PDF
Inglés
DRM
€57.44
