Matches in SemOpenAlex for { <https://semopenalex.org/work/W156924931> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W156924931 abstract "In order to better understand SAT-based planning and, more broadly, the good performance of current DPLL-based SAT solvers on real-world instances, we design three CNF formula families, two of which are derived from synthetic planning domains. The formulas are parameterized both in their size and in the amount of inherent structure. We investigate DPLL search tree size via the intermediate notion of backdoor size: a backdoor is a set of variables so that, once they are instantiated, the remaining problem is solved by polytime propagation. We show that, as the structure increases, the backdoors become smaller; in the two planning domains, at the extreme ends the backdoors are logarithmic, and thus the search trees are polynomial. The structure of the domains (with highly asymmetric goal sets) provides good intuitive insights into what may lead to small search trees in practice. We present empirical results supporting these intuitions." @default.
- W156924931 created "2016-06-24" @default.
- W156924931 creator A5069030030 @default.
- W156924931 creator A5076532681 @default.
- W156924931 creator A5084928583 @default.
- W156924931 date "2005-01-01" @default.
- W156924931 modified "2023-09-23" @default.
- W156924931 title "Planning CNFs with Small DPLL Proofs" @default.
- W156924931 cites W14839205 @default.
- W156924931 cites W1498071874 @default.
- W156924931 cites W1548827561 @default.
- W156924931 cites W1600919542 @default.
- W156924931 cites W1620410031 @default.
- W156924931 cites W1709155369 @default.
- W156924931 cites W1988083342 @default.
- W156924931 cites W2062912795 @default.
- W156924931 cites W2069767473 @default.
- W156924931 cites W2070183171 @default.
- W156924931 cites W2134954143 @default.
- W156924931 cites W2142785340 @default.
- W156924931 cites W2151720296 @default.
- W156924931 cites W2164322797 @default.
- W156924931 cites W2337098149 @default.
- W156924931 cites W2402164836 @default.
- W156924931 cites W622266756 @default.
- W156924931 cites W82625556 @default.
- W156924931 hasPublicationYear "2005" @default.
- W156924931 type Work @default.
- W156924931 sameAs 156924931 @default.
- W156924931 citedByCount "0" @default.
- W156924931 crossrefType "journal-article" @default.
- W156924931 hasAuthorship W156924931A5069030030 @default.
- W156924931 hasAuthorship W156924931A5076532681 @default.
- W156924931 hasAuthorship W156924931A5084928583 @default.
- W156924931 hasConcept C108710211 @default.
- W156924931 hasConcept C113174947 @default.
- W156924931 hasConcept C11413529 @default.
- W156924931 hasConcept C114614502 @default.
- W156924931 hasConcept C12707504 @default.
- W156924931 hasConcept C134652429 @default.
- W156924931 hasConcept C143936061 @default.
- W156924931 hasConcept C165464430 @default.
- W156924931 hasConcept C177264268 @default.
- W156924931 hasConcept C199360897 @default.
- W156924931 hasConcept C2524010 @default.
- W156924931 hasConcept C2781045450 @default.
- W156924931 hasConcept C33923547 @default.
- W156924931 hasConcept C38652104 @default.
- W156924931 hasConcept C41008148 @default.
- W156924931 hasConcept C76155785 @default.
- W156924931 hasConcept C80444323 @default.
- W156924931 hasConceptScore W156924931C108710211 @default.
- W156924931 hasConceptScore W156924931C113174947 @default.
- W156924931 hasConceptScore W156924931C11413529 @default.
- W156924931 hasConceptScore W156924931C114614502 @default.
- W156924931 hasConceptScore W156924931C12707504 @default.
- W156924931 hasConceptScore W156924931C134652429 @default.
- W156924931 hasConceptScore W156924931C143936061 @default.
- W156924931 hasConceptScore W156924931C165464430 @default.
- W156924931 hasConceptScore W156924931C177264268 @default.
- W156924931 hasConceptScore W156924931C199360897 @default.
- W156924931 hasConceptScore W156924931C2524010 @default.
- W156924931 hasConceptScore W156924931C2781045450 @default.
- W156924931 hasConceptScore W156924931C33923547 @default.
- W156924931 hasConceptScore W156924931C38652104 @default.
- W156924931 hasConceptScore W156924931C41008148 @default.
- W156924931 hasConceptScore W156924931C76155785 @default.
- W156924931 hasConceptScore W156924931C80444323 @default.
- W156924931 hasOpenAccess W156924931 @default.
- W156924931 hasRelatedWork W1709155369 @default.
- W156924931 hasRelatedWork W1942531821 @default.
- W156924931 hasRelatedWork W203718333 @default.
- W156924931 hasRelatedWork W2086971834 @default.
- W156924931 hasRelatedWork W2114785958 @default.
- W156924931 hasRelatedWork W2130743314 @default.
- W156924931 hasRelatedWork W2156861518 @default.
- W156924931 hasRelatedWork W2171790376 @default.
- W156924931 hasRelatedWork W2181787709 @default.
- W156924931 hasRelatedWork W2187890375 @default.
- W156924931 hasRelatedWork W2211445239 @default.
- W156924931 hasRelatedWork W2295710923 @default.
- W156924931 hasRelatedWork W2399326884 @default.
- W156924931 hasRelatedWork W2950188036 @default.
- W156924931 hasRelatedWork W2963478382 @default.
- W156924931 hasRelatedWork W3104440902 @default.
- W156924931 hasRelatedWork W3150093934 @default.
- W156924931 hasRelatedWork W3184756489 @default.
- W156924931 hasRelatedWork W9945751 @default.
- W156924931 hasRelatedWork W2605549323 @default.
- W156924931 isParatext "false" @default.
- W156924931 isRetracted "false" @default.
- W156924931 magId "156924931" @default.
- W156924931 workType "article" @default.