Opening book details…
Can I read 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 on EtoBox?
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 and Uwe Egly (eds.) is a nonfiction available to read on EtoBox.
What is 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 about?
This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 21 regular papers, 7 short papers and 4 tool papers presented together with 2 invited talks were carefully reviewed and selected from 78 submissions. The papers have been organized in the following topical sections: maximum satisfiability; minimal unsatisfiability; complexity and reductions; proof complexity; parallel and incremental (Q)SAT; applications; structure; simplification and solving; and analysis. Erscheinungsdatum: 04.08.2014
Who reads 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?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Carsten Sinz and Uwe Egly (eds.)
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2014
- Language
- EN
- ISBN
- 9783319092843
- Category
- nonfiction
- Subjects
- Mathematics, Science, Computer Science
More by Carsten Sinz and Uwe Egly (eds.)
Browse all works by Carsten Sinz and 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)