Matches in SemOpenAlex for { <https://semopenalex.org/work/W3022749232> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W3022749232 endingPage "171" @default.
- W3022749232 startingPage "157" @default.
- W3022749232 abstract "There are many different ways of proving formulas in propositional logic. Many of these can easily be characterized as forms of resolution. Others use so-called binary decision diagrams (BDDs). Experimental evidence suggests that BDDs and resolution-based techniques are fundamentally different, in the sense that their performance can differ very much on benchmarks. In this paper, we confirm these findings by mathematical proof. We provide examples that are easy for BDDs and exponentially hard for any form of resolution, and vice versa, examples that are easy for resolution and exponentially hard for BDDs." @default.
- W3022749232 created "2020-05-13" @default.
- W3022749232 creator A5032619003 @default.
- W3022749232 creator A5080214204 @default.
- W3022749232 date "2003-08-01" @default.
- W3022749232 modified "2023-09-24" @default.
- W3022749232 title "Resolution and binary decision diagrams cannot simulate each other polynomially" @default.
- W3022749232 cites W1996660205 @default.
- W3022749232 cites W2036265926 @default.
- W3022749232 cites W2039236516 @default.
- W3022749232 cites W2057361103 @default.
- W3022749232 cites W2069767473 @default.
- W3022749232 cites W2080267935 @default.
- W3022749232 cites W2091961944 @default.
- W3022749232 cites W2098022011 @default.
- W3022749232 cites W2108016168 @default.
- W3022749232 cites W2127305744 @default.
- W3022749232 cites W2130847546 @default.
- W3022749232 cites W2133527541 @default.
- W3022749232 cites W2135723187 @default.
- W3022749232 cites W4253854487 @default.
- W3022749232 doi "https://doi.org/10.1016/s0166-218x(02)00403-1" @default.
- W3022749232 hasPublicationYear "2003" @default.
- W3022749232 type Work @default.
- W3022749232 sameAs 3022749232 @default.
- W3022749232 citedByCount "32" @default.
- W3022749232 countsByYear W30227492322012 @default.
- W3022749232 countsByYear W30227492322013 @default.
- W3022749232 countsByYear W30227492322015 @default.
- W3022749232 countsByYear W30227492322017 @default.
- W3022749232 countsByYear W30227492322020 @default.
- W3022749232 countsByYear W30227492322021 @default.
- W3022749232 countsByYear W30227492322023 @default.
- W3022749232 crossrefType "journal-article" @default.
- W3022749232 hasAuthorship W3022749232A5032619003 @default.
- W3022749232 hasAuthorship W3022749232A5080214204 @default.
- W3022749232 hasConcept C11413529 @default.
- W3022749232 hasConcept C118615104 @default.
- W3022749232 hasConcept C138268822 @default.
- W3022749232 hasConcept C199360897 @default.
- W3022749232 hasConcept C3309909 @default.
- W3022749232 hasConcept C33923547 @default.
- W3022749232 hasConcept C41008148 @default.
- W3022749232 hasConcept C48372109 @default.
- W3022749232 hasConcept C69562738 @default.
- W3022749232 hasConcept C80444323 @default.
- W3022749232 hasConcept C94375191 @default.
- W3022749232 hasConceptScore W3022749232C11413529 @default.
- W3022749232 hasConceptScore W3022749232C118615104 @default.
- W3022749232 hasConceptScore W3022749232C138268822 @default.
- W3022749232 hasConceptScore W3022749232C199360897 @default.
- W3022749232 hasConceptScore W3022749232C3309909 @default.
- W3022749232 hasConceptScore W3022749232C33923547 @default.
- W3022749232 hasConceptScore W3022749232C41008148 @default.
- W3022749232 hasConceptScore W3022749232C48372109 @default.
- W3022749232 hasConceptScore W3022749232C69562738 @default.
- W3022749232 hasConceptScore W3022749232C80444323 @default.
- W3022749232 hasConceptScore W3022749232C94375191 @default.
- W3022749232 hasIssue "2" @default.
- W3022749232 hasLocation W30227492321 @default.
- W3022749232 hasOpenAccess W3022749232 @default.
- W3022749232 hasPrimaryLocation W30227492321 @default.
- W3022749232 hasRelatedWork W1554850964 @default.
- W3022749232 hasRelatedWork W1800789167 @default.
- W3022749232 hasRelatedWork W1998277677 @default.
- W3022749232 hasRelatedWork W2129943654 @default.
- W3022749232 hasRelatedWork W214250485 @default.
- W3022749232 hasRelatedWork W2303614492 @default.
- W3022749232 hasRelatedWork W2884886165 @default.
- W3022749232 hasRelatedWork W3022749232 @default.
- W3022749232 hasRelatedWork W3203050793 @default.
- W3022749232 hasRelatedWork W2315749083 @default.
- W3022749232 hasVolume "130" @default.
- W3022749232 isParatext "false" @default.
- W3022749232 isRetracted "false" @default.
- W3022749232 magId "3022749232" @default.
- W3022749232 workType "article" @default.