Opening book details…
About this nonfiction
Theory and Applications of Satisfiability Testing – SAT 2014: 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings by Carsten Sinz, Uwe Egly (eds.) is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Carsten Sinz, Uwe Egly (eds.)
- Publisher
- Springer
- Published
- 2014
- Language
- EN
- Category
- nonfiction
More by Carsten Sinz, Uwe Egly (eds.)
Browse all works by Carsten Sinz, Uwe Egly (eds.)
Similar books
- Computer aided verification : 26th International Conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings — Armin Biere and Roderick Bloem (2014)
- Interactive theorem proving : 5th International Conference, ITP 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : proceedings — Ruben Gamboa Gerwin Klein (2014)
- Automated Reasoning [recurso electrónico] 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings — Stéphane Demri, Deepak Kapur, and Christoph Weidenbach (2014)
- Knowledge Representation for Health Care 6th International Workshop on Knowledge Representation for Health Care, KR4HC 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, July 21, 2014, Revised Selected Papers — Silvia Miksch, David Riaño, Annette ten Teije (2014)
- Theory and applications of satisfiability testing -- SAT 2018 : 21st International Conference, SAT 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings — Beyersdorff, Olaf; Wintersteiger, Christoph M (2018)
- Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science) — Yehuda Naveh (auth.), Ofer Strichman, Stefan Szeider (2010)