Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers
Holger H. Hoos, David G. Mitchell (eds.)
Bok Engelsk 2005 SAT 2004
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | XIII, 392 s. : ill.
|
Emner | |
ISBN | 354027829X. - 9783540278290
|