Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552782299> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1552782299 endingPage "348" @default.
- W1552782299 startingPage "343" @default.
- W1552782299 abstract "The original, resolution-based Davis-Putnam satisfiability algorithm (Davis & Putnam 1960) was recently revived by (Dechter & Rish 1994) under the name “directional resolution” (DR). We provide new positive complexity results for DR. First, we identify a class of theories (ACT, Acyclic Component Theories), which includes many real-world theories, for which DR takes polynomial time. Second, we present an improved analysis of the complexity of directional resolution through refined notions of induced width, which yields new tractable classes for DR, and much better predictions of its space and time requirements under various atom orderings. These estimates can be used for heuristically choosing among various orderings before running DR." @default.
- W1552782299 created "2016-06-24" @default.
- W1552782299 creator A5085262408 @default.
- W1552782299 date "2000-07-30" @default.
- W1552782299 modified "2023-10-18" @default.
- W1552782299 title "Tractable Classes for Directional Resolution" @default.
- W1552782299 cites W1482914320 @default.
- W1552782299 cites W1548827561 @default.
- W1552782299 cites W1552596904 @default.
- W1552782299 cites W1562027785 @default.
- W1552782299 cites W1585533089 @default.
- W1552782299 cites W1597829571 @default.
- W1552782299 cites W1599103728 @default.
- W1552782299 cites W190525330 @default.
- W1552782299 cites W1982333717 @default.
- W1552782299 cites W2035318784 @default.
- W1552782299 cites W2057361103 @default.
- W1552782299 cites W2062897452 @default.
- W1552782299 cites W2090534913 @default.
- W1552782299 cites W2131213887 @default.
- W1552782299 cites W2156018937 @default.
- W1552782299 cites W2163170255 @default.
- W1552782299 cites W2986773320 @default.
- W1552782299 hasPublicationYear "2000" @default.
- W1552782299 type Work @default.
- W1552782299 sameAs 1552782299 @default.
- W1552782299 citedByCount "5" @default.
- W1552782299 crossrefType "proceedings-article" @default.
- W1552782299 hasAuthorship W1552782299A5085262408 @default.
- W1552782299 hasConcept C11413529 @default.
- W1552782299 hasConcept C134306372 @default.
- W1552782299 hasConcept C138268822 @default.
- W1552782299 hasConcept C154945302 @default.
- W1552782299 hasConcept C168773769 @default.
- W1552782299 hasConcept C2777212361 @default.
- W1552782299 hasConcept C311688 @default.
- W1552782299 hasConcept C33923547 @default.
- W1552782299 hasConcept C41008148 @default.
- W1552782299 hasConcept C6943359 @default.
- W1552782299 hasConcept C90119067 @default.
- W1552782299 hasConceptScore W1552782299C11413529 @default.
- W1552782299 hasConceptScore W1552782299C134306372 @default.
- W1552782299 hasConceptScore W1552782299C138268822 @default.
- W1552782299 hasConceptScore W1552782299C154945302 @default.
- W1552782299 hasConceptScore W1552782299C168773769 @default.
- W1552782299 hasConceptScore W1552782299C2777212361 @default.
- W1552782299 hasConceptScore W1552782299C311688 @default.
- W1552782299 hasConceptScore W1552782299C33923547 @default.
- W1552782299 hasConceptScore W1552782299C41008148 @default.
- W1552782299 hasConceptScore W1552782299C6943359 @default.
- W1552782299 hasConceptScore W1552782299C90119067 @default.
- W1552782299 hasLocation W15527822991 @default.
- W1552782299 hasOpenAccess W1552782299 @default.
- W1552782299 hasPrimaryLocation W15527822991 @default.
- W1552782299 hasRelatedWork W151552961 @default.
- W1552782299 hasRelatedWork W1532097860 @default.
- W1552782299 hasRelatedWork W1542944854 @default.
- W1552782299 hasRelatedWork W1599103728 @default.
- W1552782299 hasRelatedWork W1979442476 @default.
- W1552782299 hasRelatedWork W2007671683 @default.
- W1552782299 hasRelatedWork W2022695609 @default.
- W1552782299 hasRelatedWork W2023622935 @default.
- W1552782299 hasRelatedWork W2034758366 @default.
- W1552782299 hasRelatedWork W2037870843 @default.
- W1552782299 hasRelatedWork W2062897452 @default.
- W1552782299 hasRelatedWork W2076972272 @default.
- W1552782299 hasRelatedWork W2091345559 @default.
- W1552782299 hasRelatedWork W2161313583 @default.
- W1552782299 hasRelatedWork W2888883725 @default.
- W1552782299 hasRelatedWork W2896982111 @default.
- W1552782299 hasRelatedWork W2963126840 @default.
- W1552782299 hasRelatedWork W3121883445 @default.
- W1552782299 hasRelatedWork W73861168 @default.
- W1552782299 hasRelatedWork W3140725418 @default.
- W1552782299 isParatext "false" @default.
- W1552782299 isRetracted "false" @default.
- W1552782299 magId "1552782299" @default.
- W1552782299 workType "article" @default.