Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006 : proceedings
Armin Biere, Carla P. Gomes (eds.)
Bok Engelsk 2006 SAT 2006
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | XII, 438 s. : ill.
|
| Emner | |
| ISBN | 3540372067. - 9783540372066
|
