Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Name: Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings
Price: 80.50 CAD
Availability: InStock
Author: Stefan Szeider
ISBN: 9783642141850

Ofer Strichman Edited by Stefan Szeider

Jun 30, 2010

$80.50

Online pricing. Prices and offers may vary in store.

Ship to me

Checking availability…

Buy now & pick up in store

Checking availability…

Find it in store

Checking availability…

Quantity

Earn 403 points and enjoy extra savings with plum+.

Overview

Language

English

No. of Pages

400

Theoretical Computer Science and General Issues

Publisher: Springer/Sci-Tech/Trade

Shipping dimensions: 1" H x 1" W x 1" L

ISBN: 9783642141850

Machine Learning, Optimization, and Data Science: 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers

Giuseppe Nicosia Paperback
$80.50
2 formats available
Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Diego Marmsoler Paperback
$80.50
2 formats available
Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Vladimir P. Gerdt Paperback
$80.50
Computational Science - Iccs 2021: 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part Vi

Maciej Paszynski Paperback
$80.50
2 formats available
Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part IV

Derek Groen Paperback
$189.95
2 formats available
Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

T-H. Hubert Chan Paperback
$80.50
Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II

Derek Groen Paperback
$160.95
2 formats available
Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part I

Derek Groen Paperback
$175.50
2 formats available
Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Leonid Sokolinsky Paperback
$131.50
2 formats available
Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III

Derek Groen Paperback
$175.50
2 formats available
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Alexander Dudin Paperback
$72.95
Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Anatoly Nazarov Paperback
$124.50
2 formats available
Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Sebastian Maneth Paperback
$80.50
2 formats available
Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020, Proceedings

Selmin Nurcan Paperback
$80.50
2 formats available
Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Jin-Yi Cai Paperback
$160.95
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Mohammad Tanveer Paperback
$175.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Mohammad Tanveer Paperback
$160.95
2 formats available
Applied Cryptography and Network Security: Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings

Markus Jakobsson Paperback
$160.95
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III

Mohammad Tanveer Paperback
$175.50
2 formats available
Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Mohammad Tanveer Paperback
$160.95
2 formats available

Editorial reviews

stefan szeider

Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings

Overview

You May Also Like

Machine Learning, Optimization, and Data Science: 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers

Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhadzor, Armenia, September 6-12, 2010, Proceedings

Computational Science - Iccs 2021: 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part Vi

Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part IV

Theory and Applications of Models of Computation: 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings

Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part II

Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part I

Parallel Computational Technologies: 14th International Conference, Pct 2020, Perm, Russia, May 27-29, 2020, Revised Selected Papers

Computational Science - ICCS 2022: 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Information Technologies and Mathematical Modelling. Queueing Theory and Applications: 22nd International Conference, ITMM 2023 and 14th International Workshop, WRQ 2023, Tomsk, Russia, December 4-9, 2023, Revised Selected Papers

Implementation And Application Of Automata: 25th International Conference, Ciaa 2021, Virtual Event, July 19-22, 2021, Proceedings

Enterprise, Business-Process and Information Systems Modeling: 21st International Conference, BPMDS 2020, 25th International Conference, EMMSAD 2020, Held at CAiSE 2020, Grenoble, France, June 8-9, 2020, Proceedings

Theory and Applications of Models of Computation: 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part V

Applied Cryptography and Network Security: Second International Conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004. Proceedings

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part III

Neural Information Processing: 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part I

Ratings & Reviews

Editorial reviews

Author

Others Also Bought

Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings

Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010, Proceedings

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Distributed Computing: 24th International Symposium, Disc 2010, Cambridge, Ma, Usa, September 13-15, 2010, Proceedings

Approximation and Online Algorithms: 8th International Workshop, WAOA 2010, Liverpool, UK, September 9-10, 2010, Revised Papers

Stabilization, Safety, and Security of Distributed Systems: 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings

Algorithm Theory - Swat 2010: 12th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings

Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014, Proceedings

Integer Programming And Combinatorial Optimization: 21st International Conference, Ipco 2020, London, Uk, June 8-10, 2020, Proceedings

Distributed Computing: 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Quantitative Evaluation Of Systems: 16th International Conference, Qest 2019, Glasgow, Uk, September 10-12, 2019, Proceedings

Algorithms - ESA 2010: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Unconventional Computation and Natural Computation: 11th International Conference, Ucnc 2012, Orleans, France, September 3-7, 2012, Proceedings

Integer Programming and Combinatorial Optimization: 11th International IPCO Conference, Berlin, Germany, June 8-10, 2005, Proceedings

Algorithms - Esa 2010, Part Ii: 18th Annual European Symposium, Liverpool, UK, September 6-8, 2010, Proceedings

Approaches and Applications of Inductive Programming: Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings