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

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

Available at  / 3 libraries

Search this Book/Journal

Related Books: 1-1 of 1

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
Page Top