Cover Image

Theory and Applications of Satisfiability Testing - SAT 2007 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings /

This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of Satis?ability Testing (SAT) originated in 1996 as a series of workshops “on Satis?ability.” By the thi...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Marques-Silva, Joao. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sakallah, Karem A. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edition:1st ed. 2007.
Series:Theoretical Computer Science and General Issues ; 4501
Subjects:
Mathematical logic.
Algorithms.
Operating systems (Computers).
Numerical analysis.
Artificial intelligence.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Operating Systems.
Numeric Computing.
Artificial Intelligence.
Mathematical Logic and Foundations.
Online Access:https://doi.org/10.1007/978-3-540-72788-0
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/978-3-540-72788-0

Similar Items