Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008 Guangzhou, China, May 12-15, 2008 : proceedings

Author(s)

• Büning, Hans Kleine
• Zhao, Xishun
• International Conference on Theory and Applications of Satisfiability Testing

Bibliographic Information

Theory and applications of satisfiability testing - SAT 2008 : 11th international conference, SAT 2008 Guangzhou, China, May 12-15, 2008 : proceedings

Hans Kleine Büning, Xishun Zhao (eds.)

（Lecture notes in computer science, 4996）

Springer, c2008

Details

• NCID: BA86377957
• ISBN:
  • 9783540797180
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: x, 304 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279