Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings

Author(s)

• Biere, Armin
• Gomes, Carla P.
• International Conference on Theory and Applications of Satisfiability Testing

Bibliographic Information

Theory and applications of satisfiability testing - SAT 2006 : 9th international conference, Seattle, WA, USA, August 12-15, 2006, proceedings

ed. Armin Biere, Carla P. Gomes

（Lecture notes in computer science, 4121）

Springer, 2006

Note

Includes bibliographical reference and index

Details

• NCID: BA78207962
• ISBN:
  • 3540372067
• LCCN: 2006930253
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xii, 438 p.
• Size: 24 cm
• Parent Bibliography ID:
  • BA00009279