Matches in SemOpenAlex for { <https://semopenalex.org/work/W3045282912> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3045282912 abstract "The study of phase transition behaviour in SAT has led to deeper understanding and algorithmic improvements of modern SAT solvers. Motivated by these prior studies of phase transitions in SAT, we seek to study the behaviour of size and compile-time behaviour for random k-CNF formulas in the context of knowledge compilation. We perform a rigorous empirical study and analysis of the size and runtime behavior for different knowledge compilation forms (and their corresponding compilation algorithms): d-DNNFs, SDDs and OBDDs across multiple tools and compilation algorithms. We employ instances generated from the random k-CNF model with varying generation parameters to empirically reason about the expected and median behavior of size and compilation-time for these languages. Our work is similar in spirit to the early work in CSP community on phase transition behavior in SAT/CSP. In a similar spirit, we identify the interesting behavior with respect to different parameters: clause density and solution density, a novel control parameter that we identify for the study of phase transition behavior in the context of knowledge compilation. Furthermore, we summarize our empirical study in terms of two concrete conjectures; a rigorous study of these conjectures will possibly require new theoretical tools." @default.
- W3045282912 created "2020-07-29" @default.
- W3045282912 creator A5008071511 @default.
- W3045282912 creator A5014601092 @default.
- W3045282912 creator A5041528950 @default.
- W3045282912 date "2020-07-20" @default.
- W3045282912 modified "2023-09-27" @default.
- W3045282912 title "Phase Transition Behavior in Knowledge Compilation" @default.
- W3045282912 cites W1515422723 @default.
- W3045282912 cites W1548578559 @default.
- W3045282912 cites W1565010992 @default.
- W3045282912 cites W1592338211 @default.
- W3045282912 cites W1620410031 @default.
- W3045282912 cites W1686746446 @default.
- W3045282912 cites W2010438070 @default.
- W3045282912 cites W2070702809 @default.
- W3045282912 cites W2071706116 @default.
- W3045282912 cites W2080267935 @default.
- W3045282912 cites W2129766896 @default.
- W3045282912 cites W2150661189 @default.
- W3045282912 cites W2169185944 @default.
- W3045282912 cites W2186752618 @default.
- W3045282912 cites W2231848993 @default.
- W3045282912 cites W2253548355 @default.
- W3045282912 cites W2402839980 @default.
- W3045282912 cites W2604369079 @default.
- W3045282912 cites W2741061345 @default.
- W3045282912 cites W2808288800 @default.
- W3045282912 cites W2964266055 @default.
- W3045282912 cites W2965114028 @default.
- W3045282912 cites W3140660692 @default.
- W3045282912 cites W3143219376 @default.
- W3045282912 cites W4983232 @default.
- W3045282912 cites W5450866 @default.
- W3045282912 hasPublicationYear "2020" @default.
- W3045282912 type Work @default.
- W3045282912 sameAs 3045282912 @default.
- W3045282912 citedByCount "0" @default.
- W3045282912 crossrefType "posted-content" @default.
- W3045282912 hasAuthorship W3045282912A5008071511 @default.
- W3045282912 hasAuthorship W3045282912A5014601092 @default.
- W3045282912 hasAuthorship W3045282912A5041528950 @default.
- W3045282912 hasConcept C104317684 @default.
- W3045282912 hasConcept C121332964 @default.
- W3045282912 hasConcept C149288129 @default.
- W3045282912 hasConcept C166957645 @default.
- W3045282912 hasConcept C169590947 @default.
- W3045282912 hasConcept C185592680 @default.
- W3045282912 hasConcept C194232998 @default.
- W3045282912 hasConcept C199360897 @default.
- W3045282912 hasConcept C2779343474 @default.
- W3045282912 hasConcept C41008148 @default.
- W3045282912 hasConcept C55493867 @default.
- W3045282912 hasConcept C62520636 @default.
- W3045282912 hasConcept C80444323 @default.
- W3045282912 hasConcept C95457728 @default.
- W3045282912 hasConceptScore W3045282912C104317684 @default.
- W3045282912 hasConceptScore W3045282912C121332964 @default.
- W3045282912 hasConceptScore W3045282912C149288129 @default.
- W3045282912 hasConceptScore W3045282912C166957645 @default.
- W3045282912 hasConceptScore W3045282912C169590947 @default.
- W3045282912 hasConceptScore W3045282912C185592680 @default.
- W3045282912 hasConceptScore W3045282912C194232998 @default.
- W3045282912 hasConceptScore W3045282912C199360897 @default.
- W3045282912 hasConceptScore W3045282912C2779343474 @default.
- W3045282912 hasConceptScore W3045282912C41008148 @default.
- W3045282912 hasConceptScore W3045282912C55493867 @default.
- W3045282912 hasConceptScore W3045282912C62520636 @default.
- W3045282912 hasConceptScore W3045282912C80444323 @default.
- W3045282912 hasConceptScore W3045282912C95457728 @default.
- W3045282912 hasLocation W30452829121 @default.
- W3045282912 hasOpenAccess W3045282912 @default.
- W3045282912 hasPrimaryLocation W30452829121 @default.
- W3045282912 hasRelatedWork W1515014937 @default.
- W3045282912 hasRelatedWork W1748452786 @default.
- W3045282912 hasRelatedWork W1775632952 @default.
- W3045282912 hasRelatedWork W1895616280 @default.
- W3045282912 hasRelatedWork W2077255408 @default.
- W3045282912 hasRelatedWork W2181649107 @default.
- W3045282912 hasRelatedWork W2184175540 @default.
- W3045282912 hasRelatedWork W2218116021 @default.
- W3045282912 hasRelatedWork W2243655718 @default.
- W3045282912 hasRelatedWork W2402162897 @default.
- W3045282912 hasRelatedWork W2502740270 @default.
- W3045282912 hasRelatedWork W2544687863 @default.
- W3045282912 hasRelatedWork W2735687434 @default.
- W3045282912 hasRelatedWork W2751973257 @default.
- W3045282912 hasRelatedWork W2765080552 @default.
- W3045282912 hasRelatedWork W2950808278 @default.
- W3045282912 hasRelatedWork W2964023786 @default.
- W3045282912 hasRelatedWork W3014139035 @default.
- W3045282912 hasRelatedWork W3193459240 @default.
- W3045282912 hasRelatedWork W61850108 @default.
- W3045282912 isParatext "false" @default.
- W3045282912 isRetracted "false" @default.
- W3045282912 magId "3045282912" @default.
- W3045282912 workType "article" @default.