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
Lectures on Numerical Mathematics
$39.99
A Social Biography of Contemporary Innovative Poetry Communities
$99.99
Science Communication in Theory and Practice
$179.99
From Elementary Probability to Stochastic Differential Equations with MAPLE
$54.99
Multiscale Methods
$69.99
Kapitalmarktorientierte Rechnungslegung
$39.99
Die reichsgesetzlichen Bestimmungen ber den Verkehr mit Arzneimitteln ausserhalb der Apotheken
$59.99
Microcantilevers for Atomic Force Microscope Data Storage
$109.99
Challenging Citizens: Democratic Innovations at the Local Level
$119.99
Gespaltene Jugend
$59.99
Einfhrung in die Elektronentheorie der Metalle
$49.99
Energieeffizienz in der Industrie
$79.99
The Fifth Column in World War II
$109.99
Moden in der Hip-Hop-Szene
$39.99
Estimating SMEs Cost of Equity Using a Value at Risk Approach
$39.99
Design Load Allowables for Composite Plates Exposed to Thermomechanical Loads
$129.99
Robot Learning from Human Teachers
$29.99
Systems Neuroscience and Rehabilitation
$109.99
The Politician
$64.99
Vorrichtungsbau III
$69.99
Strategies in Failure Management
$99.99
Problems of Economic Growth and Planning: The Sudan Example
$109.99
Zwischen Kooperation und Konfrontation: Dnemark und das Frankenreich im 9. Jahrhundert
$24.99
PuK - Controllingkonzepte
$54.99
Special Relativity and Quantum Theory
$169.00
Physical Constants of Linear Homopolymers
$54.99
Proceedings of 3rd 2023 International Conference on Autonomous Unmanned Systems (3rd ICAUS 2023)
$279.99
That's My Nose said Bear by Annie Simpson
$9.99
Modeling and Analysis of Linear Hyperbolic Systems of Balance Laws
$109.99
Scholar Zone Extended Learning Math Grade 5
$580.00
Advances in Metaheuristics Algorithms: Methods and Applications
$109.99
Vasculitis, Rheumatic Disease and the Nervous System
$54.99
Principles of Economics
$39.99
Community-Based Education for Students with Developmental Disabilities in Tanzania
$54.99
Mathematik fr Volks- und Betriebswirte
$59.99
Handbuch Ernhrungskommunikation
$69.99
Creating Conditions for Promising Collaboration
$69.99
Creativity in Intelligent Technologies and Data Science
$84.99
Next Generation Electrified Vehicles Optimised for the Infrastructure
$49.99
Lola Levine: Lola Levine en el ballet
$4.49
