© 2016

Theory and Applications of Satisfiability Testing – SAT 2016

19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

  • Nadia Creignou
  • Daniel Le Berre
Conference proceedings SAT 2016

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9710)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 9710)

Table of contents

  1. Front Matter
    Pages I-XXIV
  2. Complexity

    1. Front Matter
      Pages 1-1
    2. Mateus de Oliveira Oliveira
      Pages 13-28
    3. Patrick Scharpfenecker, Jacobo Torán
      Pages 29-44
    4. Johannes K. Fichte, Arne Meier, Irina Schindler
      Pages 45-59
  3. Satisfiability Solving

    1. Front Matter
      Pages 85-85
    2. Gilles Audemard, Laurent Simon
      Pages 87-103
    3. Jo Devriendt, Bart Bogaerts, Maurice Bruynooghe, Marc Denecker
      Pages 104-122
    4. Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki
      Pages 123-140
    5. Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia
      Pages 141-159
    6. Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals
      Pages 160-176
  4. Satisfiability Applications

    1. Front Matter
      Pages 177-177
    2. Neha Lodha, Sebastian Ordyniak, Stefan Szeider
      Pages 179-195
    3. C. K. Cuong, M. J. H. Heule
      Pages 196-211
    4. Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton et al.
      Pages 212-227
    5. Marijn J. H. Heule, Oliver Kullmann, Victor W. Marek
      Pages 228-245
  5. Satisfiability Modulo Theory

    1. Front Matter
      Pages 247-247

About these proceedings


This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bordeaux, France, in July 2016.

The 31 regular papers, 5 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, including complexity, satisfiability solving, satisfiability applications, satisfiability modulop theory, beyond SAT, quantified Boolean formula, and dependency QBF.



analysis of algorithms combinatorial optimization constraint programming formal methods SAT solvers combinatorics computational complexity database dependencies graph theory inconsistent databases integer programming local search logic and verification maximum satisfiability MaxSAT proof complexity satisfiability solving search algorithms smooth pictures

Editors and affiliations

  • Nadia Creignou
    • 1
  • Daniel Le Berre
    • 2
  1. 1.Aix-Marseille UniversitéMarseilleFrance
  2. 2.Université d'ArtoisLensFrance

Bibliographic information

  • Book Title Theory and Applications of Satisfiability Testing – SAT 2016
  • Book Subtitle 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
  • Editors Nadia Creignou
    Daniel Le Berre
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect.Notes Computer
  • DOI
  • Copyright Information Springer International Publishing Switzerland 2016
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-3-319-40969-6
  • eBook ISBN 978-3-319-40970-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XXIV, 564
  • Number of Illustrations 119 b/w illustrations, 0 illustrations in colour
  • Topics Theory of Computation
    Artificial Intelligence
    Mathematics of Computing
    Software Engineering
  • Buy this book on publisher's site