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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Intellectuals and the Left in France Since 1968
$169.99
Feedforward Amplifiers for Wideband Communication Systems
$84.99
Generation and Update of a Digital Twin in a Process Plant
$159.99
Progress in Motor Control
$199.99
Physical Foundations of Materials Science
$129.99
Tomography of the Earths Crust: From Geophysical Sounding to Real-Time Monitoring
$109.99
Women's Networks in Medieval France
$109.99
Americas Most Sustainable Cities and Regions
$44.99
Grundbegriffe der Handlungsformen der EU
$139.00
Covariant Canonical Gauge Gravity
$169.99
Democratic Vulnerability and Autocratic Meddling
$39.99
Computational Logistics
$44.99
Endovascular Resuscitation and Trauma Management
$139.99
Smart and Sustainable Urban Ecosystems: Challenges and Solutions
$199.99
Beg to Differ
$19.99
Advances in Mobile Computing and Multimedia Intelligence
$59.99
Vorlesungen ber Entwicklungsphysiologie
$54.99
Farm Machinery and Processes Management in Sustainable Agriculture
$129.00
Advances in Economic Measurement
$169.99
Verrechnungsbeschrnkte Verluste im Ertragsteuerrecht
$59.99
Sustainability Reporting
$44.99
Interpolation Theory and Its Applications
$39.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2022
$44.99
Matrix Cracking in Ceramic-Matrix Composites
$199.99
Soviet Union
$39.99
Belief Functions: Theory and Applications
$54.99
Historische Gemlde fr gebildete Leser und Freunde der Geschichte
$44.99
Ultraschallpraxis in Geburtshilfe und Gynkologie
$119.99
Remote Sensing and Water Resources
$109.00
Geometric Measure Theory
$59.99
Immunological Engineering
$39.99
Seedlings: Horses
$5.21
Regional Dimensions of Human Development in India and South Africa
$129.00
Guide to Pediatric Urology and Surgery in Clinical Practice
$59.99
Das Trocknen mit Luft und Dampf
$49.99
Gorbachev and Perestroika
$19.99
Supercriticality and Intercultural Dialogue
$129.99
Great Powers and Geopolitics
$109.99
Pro JSF and Ajax
$49.99
Lyme-Borreliose
$84.99
