Handbook of Satisfiability, Second Edition
IOS Press | English | 2021| ISBN-10: 0190914947 | 352 pages | PDF | 10.40 MB
by Armin Biere (Editor), Marijn Heule (Editor), Hans Van Maaren (Editor), Toby Walsh (Editor)
Propositional logic has been recognized throughout the centuries as one of the cornerstones of reasoning in philosophy and mathematics