Related Books

Theory and Applications of Satisfiability Testing – SAT 2021
Language: en
Pages: 564
Authors: Chu-Min Li
Categories: Computers
Type: BOOK - Published: 2021-07-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in B
Theory and Applications of Satisfiability Testing – SAT 2020
Language: en
Pages: 538
Authors: Luca Pulina
Categories: Computers
Type: BOOK - Published: 2020-09-02 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to
Handbook of Satisfiability
Language: en
Pages: 1486
Authors: A. Biere
Categories: Computers
Type: BOOK - Published: 2021-05-05 - Publisher: IOS Press

DOWNLOAD EBOOK

Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics. Over time, its formaliza
Theory and Applications of Satisfiability Testing--SAT 2009
Language: en
Pages: 0
Authors:
Categories: Algebra, Boolean
Type: BOOK - Published: 2009 - Publisher:

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing, SAT 2009, held in Swan
Theory and Applications of Satisfiability Testing - SAT 2021
Language: en
Pages: 0
Authors: Chu-Min Li
Categories: Computer algorithms
Type: BOOK - Published: 2021 - Publisher:

DOWNLOAD EBOOK

This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in B