Abstract
In some cases DPP proceeds fast, also with sets K of clauses having thousands of variables, whereas other procedures (e.g., the “truth table method”, in which one tries all assignments) would take geological time to decide whether K is satisfiable and to find an assignment if any.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Italia
About this chapter
Cite this chapter
Mundici, D. (2012). Fast Classes for DPP. In: Logic: A Brief Course. UNITEXT(). Springer, Milano. https://doi.org/10.1007/978-88-470-2361-1_5
Download citation
DOI: https://doi.org/10.1007/978-88-470-2361-1_5
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2360-4
Online ISBN: 978-88-470-2361-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)