Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028664052> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2028664052 abstract "Extended Resolution (i.e., Resolution incorporating the extension rule) is a more powerful proof system than Resolution because it can find polynomially bounded refutations of some SAT instances where Resolution alone cannot (and at the same time, every proof with resolution is still a valid proof with extended resolution). However it is very difficult to put it into practice because the extension rule is an additionnal source of combinatorial explosion, which tends to lengthen the time to discover a refutation. We call a restriction of Resolution forbiding the production of resolvents of size greater than 3 Narrow Resolution. We show that Narrow Extended Resolution p-simulates (unrestricted) Extended Resolution. We thus obtain a proof system whose combinatorics is highly reduced but which is still as powerful as before. However, the algorithms based on Resolution cannot be easily modified to accommodate this restriction on the resolution rule. This is why we define Splitting Resolution, a variant of Narrow Extended Resolution suitable for integrating into any resolution-based solver." @default.
- W2028664052 created "2016-06-24" @default.
- W2028664052 creator A5069275060 @default.
- W2028664052 date "2012-11-01" @default.
- W2028664052 modified "2023-10-04" @default.
- W2028664052 title "Narrowing Extended Resolution" @default.
- W2028664052 cites W139740642 @default.
- W2028664052 cites W1997158981 @default.
- W2028664052 cites W203400429 @default.
- W2028664052 cites W2062897452 @default.
- W2028664052 cites W2069767473 @default.
- W2028664052 cites W2084384424 @default.
- W2028664052 cites W2098022011 @default.
- W2028664052 cites W2100738443 @default.
- W2028664052 cites W2126420408 @default.
- W2028664052 cites W2158860049 @default.
- W2028664052 cites W4229861117 @default.
- W2028664052 doi "https://doi.org/10.1109/ictai.2012.81" @default.
- W2028664052 hasPublicationYear "2012" @default.
- W2028664052 type Work @default.
- W2028664052 sameAs 2028664052 @default.
- W2028664052 citedByCount "0" @default.
- W2028664052 crossrefType "proceedings-article" @default.
- W2028664052 hasAuthorship W2028664052A5069275060 @default.
- W2028664052 hasConcept C11413529 @default.
- W2028664052 hasConcept C134306372 @default.
- W2028664052 hasConcept C138268822 @default.
- W2028664052 hasConcept C154945302 @default.
- W2028664052 hasConcept C199360897 @default.
- W2028664052 hasConcept C2778029271 @default.
- W2028664052 hasConcept C33923547 @default.
- W2028664052 hasConcept C34388435 @default.
- W2028664052 hasConcept C41008148 @default.
- W2028664052 hasConceptScore W2028664052C11413529 @default.
- W2028664052 hasConceptScore W2028664052C134306372 @default.
- W2028664052 hasConceptScore W2028664052C138268822 @default.
- W2028664052 hasConceptScore W2028664052C154945302 @default.
- W2028664052 hasConceptScore W2028664052C199360897 @default.
- W2028664052 hasConceptScore W2028664052C2778029271 @default.
- W2028664052 hasConceptScore W2028664052C33923547 @default.
- W2028664052 hasConceptScore W2028664052C34388435 @default.
- W2028664052 hasConceptScore W2028664052C41008148 @default.
- W2028664052 hasLocation W20286640521 @default.
- W2028664052 hasOpenAccess W2028664052 @default.
- W2028664052 hasPrimaryLocation W20286640521 @default.
- W2028664052 hasRelatedWork W2006308727 @default.
- W2028664052 hasRelatedWork W2033571057 @default.
- W2028664052 hasRelatedWork W2042726902 @default.
- W2028664052 hasRelatedWork W2069998960 @default.
- W2028664052 hasRelatedWork W2136053165 @default.
- W2028664052 hasRelatedWork W2320266418 @default.
- W2028664052 hasRelatedWork W2352495365 @default.
- W2028664052 hasRelatedWork W2524805217 @default.
- W2028664052 hasRelatedWork W3080875783 @default.
- W2028664052 hasRelatedWork W4251067554 @default.
- W2028664052 isParatext "false" @default.
- W2028664052 isRetracted "false" @default.
- W2028664052 magId "2028664052" @default.
- W2028664052 workType "article" @default.