Related Books

Automated Deduction – CADE 29
Language: en
Pages: 614

Automated Deduction – CADE 29

Authors: Brigitte Pientka
Categories: Computers
Type: BOOK - Published: 2023-10-04 - Publisher: Springer Nature

GET EBOOK

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during
Automated Deduction – CADE 28
Language: en
Pages: 655

Automated Deduction – CADE 28

Authors: André Platzer
Categories: Artificial intelligence
Type: BOOK - Published: 2021 - Publisher: Springer Nature

GET EBOOK

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full
Automated Reasoning
Language: en
Pages: 493

Automated Reasoning

Authors: Christoph Benzmüller
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK

Applied Satisfiability
Language: en
Pages: 277

Applied Satisfiability

Authors: Xiaojuan Liao
Categories: Mathematics
Type: BOOK - Published: 2025-04-01 - Publisher: John Wiley & Sons

GET 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
Computer Aided Verification
Language: en
Pages: 523

Computer Aided Verification

Authors: Arie Gurfinkel
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

GET EBOOK