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
|
