Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154991830> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2154991830 abstract "Satisfiability (SAT) solvers often benefit from clauses learned by the DPLL procedure, even though they are by definition redundant. In addition to those derived from conflicts, the clauses learned by dominator analysis during the deduction procedure tend to produce smaller implication graphs and sometimes increase the deductive power of the input CNF formula. We extend dominator analysis with an efficient self-subsumption check. We also show how the information collected by dominator analysis can be used to detect redundancies in the satisfied clauses and, more importantly, how it can be used to produce supplemental conflict clauses. We characterize these transformations in terms of deductive power and proof conciseness. Experiments show that the main advantage of dominator analysis and its extensions lies in improving proof conciseness." @default.
- W2154991830 created "2016-06-24" @default.
- W2154991830 creator A5016840701 @default.
- W2154991830 creator A5077549627 @default.
- W2154991830 creator A5080589950 @default.
- W2154991830 date "2011-03-01" @default.
- W2154991830 modified "2023-09-23" @default.
- W2154991830 title "Clause simplification through dominator analysis" @default.
- W2154991830 cites W1480459634 @default.
- W2154991830 cites W1518705996 @default.
- W2154991830 cites W1950282396 @default.
- W2154991830 cites W1992792191 @default.
- W2154991830 cites W2044560939 @default.
- W2154991830 cites W2048051309 @default.
- W2154991830 cites W2057361103 @default.
- W2154991830 cites W2062897452 @default.
- W2154991830 cites W2095698047 @default.
- W2154991830 cites W2112709934 @default.
- W2154991830 cites W2126662120 @default.
- W2154991830 cites W2130209717 @default.
- W2154991830 cites W2141245565 @default.
- W2154991830 cites W2142785340 @default.
- W2154991830 cites W2165874780 @default.
- W2154991830 doi "https://doi.org/10.1109/date.2011.5763033" @default.
- W2154991830 hasPublicationYear "2011" @default.
- W2154991830 type Work @default.
- W2154991830 sameAs 2154991830 @default.
- W2154991830 citedByCount "1" @default.
- W2154991830 countsByYear W21549918302013 @default.
- W2154991830 crossrefType "proceedings-article" @default.
- W2154991830 hasAuthorship W2154991830A5016840701 @default.
- W2154991830 hasAuthorship W2154991830A5077549627 @default.
- W2154991830 hasAuthorship W2154991830A5080589950 @default.
- W2154991830 hasConcept C12707504 @default.
- W2154991830 hasConcept C134652429 @default.
- W2154991830 hasConcept C143936061 @default.
- W2154991830 hasConcept C16221470 @default.
- W2154991830 hasConcept C168773769 @default.
- W2154991830 hasConcept C199360897 @default.
- W2154991830 hasConcept C41008148 @default.
- W2154991830 hasConcept C76155785 @default.
- W2154991830 hasConcept C80444323 @default.
- W2154991830 hasConceptScore W2154991830C12707504 @default.
- W2154991830 hasConceptScore W2154991830C134652429 @default.
- W2154991830 hasConceptScore W2154991830C143936061 @default.
- W2154991830 hasConceptScore W2154991830C16221470 @default.
- W2154991830 hasConceptScore W2154991830C168773769 @default.
- W2154991830 hasConceptScore W2154991830C199360897 @default.
- W2154991830 hasConceptScore W2154991830C41008148 @default.
- W2154991830 hasConceptScore W2154991830C76155785 @default.
- W2154991830 hasConceptScore W2154991830C80444323 @default.
- W2154991830 hasLocation W21549918301 @default.
- W2154991830 hasOpenAccess W2154991830 @default.
- W2154991830 hasPrimaryLocation W21549918301 @default.
- W2154991830 hasRelatedWork W126197933 @default.
- W2154991830 hasRelatedWork W1480466499 @default.
- W2154991830 hasRelatedWork W1510557644 @default.
- W2154991830 hasRelatedWork W1515516220 @default.
- W2154991830 hasRelatedWork W1532099318 @default.
- W2154991830 hasRelatedWork W1539325982 @default.
- W2154991830 hasRelatedWork W1591091340 @default.
- W2154991830 hasRelatedWork W1608406202 @default.
- W2154991830 hasRelatedWork W2038399467 @default.
- W2154991830 hasRelatedWork W2046511504 @default.
- W2154991830 hasRelatedWork W2064216040 @default.
- W2154991830 hasRelatedWork W2116886348 @default.
- W2154991830 hasRelatedWork W2223503359 @default.
- W2154991830 hasRelatedWork W2440359226 @default.
- W2154991830 hasRelatedWork W2467789404 @default.
- W2154991830 hasRelatedWork W2534686519 @default.
- W2154991830 hasRelatedWork W2557116501 @default.
- W2154991830 hasRelatedWork W2911364342 @default.
- W2154991830 hasRelatedWork W2962679295 @default.
- W2154991830 hasRelatedWork W92970644 @default.
- W2154991830 isParatext "false" @default.
- W2154991830 isRetracted "false" @default.
- W2154991830 magId "2154991830" @default.
- W2154991830 workType "article" @default.