Theory and Applications of Satisfiability Testing SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

Theory and Applications of Satisfiability Testing SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefu...

Description complète

Détails bibliographiques
Auteurs principaux : Cimatti Alessandro (Directeur de publication), Sebastiani Roberto (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Theory and Applications of Satisfiability Testing SAT 2012 : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings / edited by Alessandro Cimatti, Roberto Sebastiani.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham : Springer Nature
Collection : Theoretical computer science and general issues (Online)
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Computer Science
Artificial Intelligence (incl. Robotics)
Logics and Meanings of Programs
Computation by Abstract Devices
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Information and Communication, Circuits
Artificial Intelligence.
Theory of Computation
Algorithms
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
Mathematical Applications in Computer Science
Actes de congrès
Documents associés : Autre format: Theory and Applications of Satisfiability Testing SAT 2012
Autre format: Theory and Applications of Satisfiability Testing -- SAT 2012

Internet

https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-31612-8