Theory and applications of satisfiability testing : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005 : proceedings
Fahiem Bacchus, Toby Walsh (eds.)
Bok Engelsk 2005 SAT 2005
Utgitt | Berlin : Springer , c2005
|
---|---|
Omfang | XII, 492 s. : ill.
|
Emner | |
ISBN | 3540262768. - 9783540262763
|