ENGLISH

Theory and Applications of Satisfiability Testing: 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

By Fahiem Bacchus , Toby Walsh

Book information

Publisher
Springer
Year
2005
ISBN
3540262768, 9783540262763
Language
english
Format
PDF
Filesize
5 MB (4719471 bytes)
Series
LNCS 3569
Edition
2005
Pages
492\504
Time added
2018-03-24 10:58:08
Intelligence & Semantics;AI & Machine Learning;ComProtocols & APIs;Networking & Cloud Computing;CompUsed & Rental Textbooks;Specialty Boutique;Artific

Similar books