Related Books

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
Applied Satisfiability
Language: en
Pages: 277
Authors: Xiaojuan Liao
Categories: Mathematics
Type: BOOK - Published: 2025-04-01 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Apply satisfiability to a range of difficult problems The Boolean Satisfiability Problem (SAT) is one of the most famous and widely-studied problems in Boolean
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
PROCEEDINGS OF THE 21ST CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2021
Language: en
Pages: 297
Authors: Michael W. Whalen
Categories: Computers
Type: BOOK - Published: 2021-10-14 - Publisher: TU Wien Academic Press

DOWNLOAD EBOOK

Our life is dominated by hardware: a USB stick, the processor in our laptops or the SIM card in our smart phone. But who or what makes sure that these systems w
Theory and Applications of Satisfiability Testing – SAT 2019
Language: en
Pages: 438
Authors: Mikoláš Janota
Categories: Computers
Type: BOOK - Published: 2019-06-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisb