Related Books

Theory and Applications of Satisfiability Testing - SAT 2013
Language: en
Pages: 451
Authors: Matti Jarvisalo
Categories: Computers
Type: BOOK - Published: 2013-06-24 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013, held in Hels
Theory and Applications of Satisfiability Testing – SAT 2017
Language: en
Pages: 476
Authors: Serge Gaspers
Categories: Computers
Type: BOOK - Published: 2017-08-14 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 20th International Conference on Theory and Applications of Satisfiability Testing, SAT 2017, held in Melb
Theory and Applications of Satisfiability Testing - SAT 2014
Language: en
Pages: 468
Authors: Carsten Sinz
Categories: Computers
Type: BOOK - Published: 2014-07-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, held as part
Theory and Applications of Satisfiability Testing – SAT 2016
Language: en
Pages: 576
Authors: Nadia Creignou
Categories: Computers
Type: BOOK - Published: 2016-06-10 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016, held in Bord
Theory and Applications of Satisfiability Testing – SAT 2018
Language: en
Pages: 458
Authors: Olaf Beyersdorff
Categories: Computers
Type: BOOK - Published: 2018-06-27 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxfo