ENGLISH

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

By Marijn Heule , Sean Weaver

Book information

Publisher
Springer
Year
2015
ISBN
3319243179, 9783319243177
Language
english
Format
PDF
Filesize
14 MB (14993796 bytes)
Series
LNCS 9340
Edition
1st ed. 2015
Pages
436\457
Time added
2018-03-24 11:02:32
Intelligence & Semantics;AI & Machine Learning;ComProtocols & APIs;Networking & Cloud Computing;CompUsed & Rental Textbooks;Specialty Boutique

Similar books