Decision Procedures
Ofer Strichman, Daniel Kroening
₹6,574
Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference
by Ofer Strichman, Stefan Szeider
Springer · 2010
₹5,593
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference by Ofer Strichman & Stefan Szeider is a 400-page book published by Springer in 2010. It belongs to the LNCS sublibrary series.
The book deals with Computer algorithms, Propositional calculus, Congresses and Decision making.
Book details
- ISBN-13
- 9783642141850
- ISBN-10
- 3642141854
- Authors
- Ofer Strichman, Stefan Szeider
- Publisher
- Springer
- Published
- 2010
- Series
- LNCS sublibrary
- Pages
- 400
- Language
- English
- Condition
- New
- Subject
- Computer algorithms
More by Ofer Strichman and related titles
Parameterized and Exact Computation
Venkatesh Raman, Saket Saurabh
₹5,505
Wireless Sensor and Actuator Networks
Amiya Nayak, Ivan Stojmenovic
₹6,377
Handbook of Computer Vision Algorithms in Image Algebra
Joseph N. Wilson, Gerhard X. Ritter
₹4,042
Algorithmic Learning Theory
Setsuo Arikawa, Arun K. Sharma
₹5,554
Random Generation of Trees
Laurent Alonso, René Schott
₹15,396
Performance Characterization in Computer Vision
Reinhard Klette
₹8,176
Algorithm & SoC Design for Automotive Vision Systems
Jaeseok Kim, Hyunchul Shin
₹7,770
Frontiers in Algorithms
D. T. Lee, Danny Z. Chen, Shi Ying
₹5,559
Structural Information and Communication Complexity
Jukka Suomela
₹4,236
Proceedings of the Tenth Workshop on Algorithm Engineering and Experiments and the Fifth Workshop on Analytic Algorithmics and Combinatorics
Workshop on Algorithm Engineering and Experiments (10th 2008 San Francisco, Calif.)
₹3,978
Computer Arithmetic
Behrooz Parhami
₹5,453