Cover Image

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Biere, Armin. (Editor, http://id.loc.gov/vocabulary/relators/edt), Gomes, Carla P. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Series:Theoretical Computer Science and General Issues ; 4121
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/11814948
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

https://doi.org/10.1007/11814948

Similar Items