Theory and applications of satisfiability testing -- sat 2015: 18th international conference, austin, tx, usa, september 24-27, 2015, proceedings
Éditeur :
Springer International Publishing AG
ISBN :
9783319243177
Date de publication :
4 nov. 2015
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse