Contributions

  • Enrico Giunchiglia (Editor) - Contributor
  • Armando Tacchella (Editor) - Contributor

Publication

2004-03-19 - Springer

Language

English

Word Count

132,500 words, Guess

Page Count

530 pages

Physical Format

Paperback

Identifiers

and 1 more

Classifications

  • LCCQA9.3 .S365 2003

Subjects

Other Editions

  • Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003Selected Revised Papers (Lecture Notes in Computer Science)PaperbackSpringer2004-03-19

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!