Copied Theory and Applications of Satisfiability Testing - SAT 2013
Theory and Applications of Satisfiability Testing - SAT 2013
This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Helsinki, Finland in July 2013. The 21 regular papers, 5 short papers, and 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 71 submissions (850 regular, 15 short and 16 tool papers). The focus of the papers in on following topics: maximum satisfiability, encodings and applications, solver techniques and algorithms, clique-width and SAT, propositional proof complexity, parameterized complexity.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Advanced Metaheuristic Algorithms and Their Applications in Structural Optimization
$109.99
Satellite Network Robust QoS-aware Routing
$109.99
Nietzsches Immoralism
$54.99
Biocombinatorial Approaches for Drug Finding
$129.00
Advisory in Urban High Schools
$54.99
Untersuchungen ber den postmortalen Abbau des Leberglykogens nach knstlicher Anreicherung
$54.99
Impact, Legitimacy, and Limitations of Truth Commissions
$54.99
Untersuchung des Einflusses unterschiedlicher Spannungsverteilungen im Bereich der Walzspur auf den
$59.99
Briefpoststrategien in Europa
$54.99
Secure Data Management
$39.99
Design and Implementation of Symbolic Computation Systems
$39.99
Statistik mit Mathematica
$44.99
Optimization Models Using Fuzzy Sets and Possibility Theory
$39.99
The Least-Squares Finite Element Method
$169.99
Stochastische partielle Differentialgleichungen
$17.99
The Impact of Virtual, Remote and Real Logistics Labs
$54.99
Synthetic Polymeric Membranes
$109.99
Fest und Zeitenwende
$49.99
Welfare Reform in America
$109.99
Biochemistry of Differentiation and Morphogenesis
$84.99
Behavior Matters: Lion is Nervous
$5.99
Information Technology and Applied Mathematics
$109.99
The Three Little Wolves and the Big Bad Pig by Eugene Trivizas
$8.99
Die Vernderung von Wettbewerbsregeln als unternehmerische Gestaltungsoption
$59.99
Learning and Teaching for Teachers
$99.99
Tools and Methods of Program Analysis
$39.99
Information Security Technology for Applications
$69.99
Music Recommendation and Discovery
$39.99
Geschftserfolge in Indien
$44.99
Magnetospheric Multiscale
$59.99
Diseases of Amphibians and Reptiles
$169.00
Zerstrungsfreie Werkstoffprfung - Magnetpulverprfung
$69.99
Politische Herrschaft jenseits des Staates
$39.99
Blitzkrieg
$9.74
Resilienz durch Organisationsentwicklung
$49.99
Progress in Computational Analysis of Inelastic Structures
$54.99
Climate, Science, and Colonization
$54.99
The Three Little Superpigs: Merry Christmas!
$5.99
Design Methods and Applications for Distributed Embedded Systems
$39.99
Political Culture in Panama
$54.99
