Theory and applications of satisfiability testing - sat 2006: 9th international conference, seattle, wa, usa, august 12-15, 2006, proceedings
Auteur :
Biere, Armin
ISBN :
9783540372066
Date de publication :
26 juil. 2006
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
635 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006. This book presents 26 revised full papers together with 11 revised short papers and 2 invited talks.