Autor:	Tomáš Peitl, Friedrich Slivovsky, Joshua Blinkhorn
Rok vydání:	2021
Předmět:	TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES Computer science Computer Science::Logic in Computer Science Calculus Resolution (logic) Propositional calculus Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION Hardware_LOGICDESIGN
Zdroj:	Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226 SAT
DOI:	10.1007/978-3-030-80223-3_4
Popis:	Davis-Putnam resolution is one of the fundamental theoretical decision procedures for both propositional logic and quantified Boolean formulas.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::036aab56afdcd4b3527c456bb35404c7 https://doi.org/10.1007/978-3-030-80223-3_4 Zobrazit plný text záznamu