ENGLISH

Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

By Karem A. Sakallah , Laurent Simon

Book information

Publisher
Springer
Year
2011
ISBN
3642215807, 9783642215803
Language
english
Format
PDF
Filesize
4 MB (3872290 bytes)
Series
LNCS 6695
Edition
2011
Pages
371\393
Time added
2018-03-24 11:00:27
Intelligence & Semantics;AI & Machine Learning;ComProtocols & APIs;Networking & Cloud Computing;CompTesting & Engineering;Programming;Computers & Tech

Similar books