Amanote Research
Register
Sign In
Theory and Applications of Satisfiability Testing - SAT 2009
Lecture Notes in Computer Science
- Germany
doi 10.1007/978-3-642-02777-2
Full Text
Open PDF
Abstract
Available in
full text
Categories
Computer Science
Theoretical Computer Science
Date
January 1, 2009
Authors
Unknown
Publisher
Springer Berlin Heidelberg
Related search
SAT, SMT and Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Panel on Some Issues on Testing Theory and Its Applications
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory
Proceedings of the AAAI Conference on Artificial Intelligence
A Survey of Some Methods for Real Quantifier Elimination, Decision, and Satisfiability and Their Applications
Mathematics in Computer Science
Mathematics
Computational Mathematics
Applied Mathematics
Computational Theory
Theory, Simulation, Fabrication and Testing of Double Negative and Epsilon Near Zero Metamaterials for Microwave Applications
Hypothesis Testing and Information Theory
IEEE Transactions on Information Theory
Computer Science Applications
Information Systems
Library
Information Sciences
Masonry: Materials, Testing, and Applications
2009 Digital Image Computing: Techniques and Applications
Theory and Applications of Complex Networks
Mathematical Problems in Engineering
Mathematics
Engineering
