Matches in SemOpenAlex for { <https://semopenalex.org/work/W203400429> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W203400429 endingPage "437" @default.
- W203400429 startingPage "429" @default.
- W203400429 abstract "This paper studies the relative efficiency of ordered binary decision diagrams (OBDDs) and the Davis-Putnam-Logemann-Loveland procedure (DPLL), two of the main approaches to solving Boolean satisfiability instances. Especially, we show that OBDDs, even when constructed using only the rather weak axiom and join rules, can be exponentially more efficient than DPLL or, equivalently, tree-like resolution. Additionally, by strengthening via simple arguments a recent result—stating that such OBDDs do not polynomially simulate unrestricted resolution—we also show that the opposite holds: there are cases in which DPLL is exponentially more efficient out of the two considered systems. Hence DPLL and OBDDs constructed using only the axiom and join rules are polynomially incomparable. This further highlights differences between search-based and compilation-based approaches to Boolean satisfiability." @default.
- W203400429 created "2016-06-24" @default.
- W203400429 creator A5081120128 @default.
- W203400429 date "2011-01-01" @default.
- W203400429 modified "2023-10-17" @default.
- W203400429 title "On the Relative Efficiency of DPLL and OBDDs with Axiom and Join" @default.
- W203400429 cites W1594732291 @default.
- W203400429 cites W1605450379 @default.
- W203400429 cites W1800789167 @default.
- W203400429 cites W1997158981 @default.
- W203400429 cites W2015878287 @default.
- W203400429 cites W2035447984 @default.
- W203400429 cites W2041301310 @default.
- W203400429 cites W2057361103 @default.
- W203400429 cites W2062897452 @default.
- W203400429 cites W2069767473 @default.
- W203400429 cites W2073013179 @default.
- W203400429 cites W2077054189 @default.
- W203400429 cites W2084384424 @default.
- W203400429 cites W2121015471 @default.
- W203400429 cites W2168881618 @default.
- W203400429 cites W2177693862 @default.
- W203400429 cites W3022749232 @default.
- W203400429 cites W4245630182 @default.
- W203400429 doi "https://doi.org/10.1007/978-3-642-23786-7_33" @default.
- W203400429 hasPublicationYear "2011" @default.
- W203400429 type Work @default.
- W203400429 sameAs 203400429 @default.
- W203400429 citedByCount "2" @default.
- W203400429 countsByYear W2034004292012 @default.
- W203400429 crossrefType "book-chapter" @default.
- W203400429 hasAuthorship W203400429A5081120128 @default.
- W203400429 hasBestOaLocation W2034004292 @default.
- W203400429 hasConcept C11413529 @default.
- W203400429 hasConcept C114614502 @default.
- W203400429 hasConcept C118615104 @default.
- W203400429 hasConcept C12707504 @default.
- W203400429 hasConcept C134652429 @default.
- W203400429 hasConcept C138268822 @default.
- W203400429 hasConcept C143936061 @default.
- W203400429 hasConcept C167729594 @default.
- W203400429 hasConcept C168773769 @default.
- W203400429 hasConcept C199360897 @default.
- W203400429 hasConcept C2524010 @default.
- W203400429 hasConcept C2776124973 @default.
- W203400429 hasConcept C3309909 @default.
- W203400429 hasConcept C33923547 @default.
- W203400429 hasConcept C41008148 @default.
- W203400429 hasConcept C76155785 @default.
- W203400429 hasConcept C80444323 @default.
- W203400429 hasConceptScore W203400429C11413529 @default.
- W203400429 hasConceptScore W203400429C114614502 @default.
- W203400429 hasConceptScore W203400429C118615104 @default.
- W203400429 hasConceptScore W203400429C12707504 @default.
- W203400429 hasConceptScore W203400429C134652429 @default.
- W203400429 hasConceptScore W203400429C138268822 @default.
- W203400429 hasConceptScore W203400429C143936061 @default.
- W203400429 hasConceptScore W203400429C167729594 @default.
- W203400429 hasConceptScore W203400429C168773769 @default.
- W203400429 hasConceptScore W203400429C199360897 @default.
- W203400429 hasConceptScore W203400429C2524010 @default.
- W203400429 hasConceptScore W203400429C2776124973 @default.
- W203400429 hasConceptScore W203400429C3309909 @default.
- W203400429 hasConceptScore W203400429C33923547 @default.
- W203400429 hasConceptScore W203400429C41008148 @default.
- W203400429 hasConceptScore W203400429C76155785 @default.
- W203400429 hasConceptScore W203400429C80444323 @default.
- W203400429 hasLocation W2034004291 @default.
- W203400429 hasLocation W2034004292 @default.
- W203400429 hasOpenAccess W203400429 @default.
- W203400429 hasPrimaryLocation W2034004291 @default.
- W203400429 hasRelatedWork W106113177 @default.
- W203400429 hasRelatedWork W1724963320 @default.
- W203400429 hasRelatedWork W203400429 @default.
- W203400429 hasRelatedWork W2047591646 @default.
- W203400429 hasRelatedWork W2144928878 @default.
- W203400429 hasRelatedWork W2149987967 @default.
- W203400429 hasRelatedWork W2408711288 @default.
- W203400429 hasRelatedWork W2590445006 @default.
- W203400429 hasRelatedWork W261044226 @default.
- W203400429 hasRelatedWork W3142296598 @default.
- W203400429 isParatext "false" @default.
- W203400429 isRetracted "false" @default.
- W203400429 magId "203400429" @default.
- W203400429 workType "book-chapter" @default.