Matches in SemOpenAlex for { <https://semopenalex.org/work/W1589066270> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1589066270 endingPage "196" @default.
- W1589066270 startingPage "182" @default.
- W1589066270 abstract "A resoution proof is a certificate of the unsatisfiability of a Boolean formula. Resolution proofs, as generated by modern SAT solvers, find application in many verification techniques. For efficiency smaller proofs are preferable over larger ones. This paper presents a new approach to proof reduction, situated among the purely post-processing methods. The main idea is to reduce the proof size by eliminating redundancies of occurrences of pivots along the proof paths. This is achieved by matching and rewriting local contexts into simpler ones. In our approach, rewriting can be easily customized in the way local contexts are matched, in the amount of transformations to be performed, or in the different application of the rewriting rules. We provide an extensive experimental evaluation of our technique on a set of benchmarks, which shows considerable reduction in the proofs size." @default.
- W1589066270 created "2016-06-24" @default.
- W1589066270 creator A5012431658 @default.
- W1589066270 creator A5032057278 @default.
- W1589066270 creator A5075152083 @default.
- W1589066270 date "2011-01-01" @default.
- W1589066270 modified "2023-10-02" @default.
- W1589066270 title "An Efficient and Flexible Approach to Resolution Proof Reduction" @default.
- W1589066270 cites W1484594398 @default.
- W1589066270 cites W1510368738 @default.
- W1589066270 cites W1533619009 @default.
- W1589066270 cites W1749917042 @default.
- W1589066270 cites W1987719146 @default.
- W1589066270 cites W2129874841 @default.
- W1589066270 cites W2146110773 @default.
- W1589066270 cites W2163103684 @default.
- W1589066270 cites W2913808178 @default.
- W1589066270 cites W3145234087 @default.
- W1589066270 cites W4212792638 @default.
- W1589066270 cites W4236684541 @default.
- W1589066270 doi "https://doi.org/10.1007/978-3-642-19583-9_17" @default.
- W1589066270 hasPublicationYear "2011" @default.
- W1589066270 type Work @default.
- W1589066270 sameAs 1589066270 @default.
- W1589066270 citedByCount "16" @default.
- W1589066270 countsByYear W15890662702012 @default.
- W1589066270 countsByYear W15890662702013 @default.
- W1589066270 countsByYear W15890662702014 @default.
- W1589066270 countsByYear W15890662702015 @default.
- W1589066270 countsByYear W15890662702017 @default.
- W1589066270 countsByYear W15890662702018 @default.
- W1589066270 countsByYear W15890662702019 @default.
- W1589066270 countsByYear W15890662702023 @default.
- W1589066270 crossrefType "book-chapter" @default.
- W1589066270 hasAuthorship W1589066270A5012431658 @default.
- W1589066270 hasAuthorship W1589066270A5032057278 @default.
- W1589066270 hasAuthorship W1589066270A5075152083 @default.
- W1589066270 hasConcept C105605280 @default.
- W1589066270 hasConcept C105795698 @default.
- W1589066270 hasConcept C108710211 @default.
- W1589066270 hasConcept C111335779 @default.
- W1589066270 hasConcept C111919701 @default.
- W1589066270 hasConcept C11413529 @default.
- W1589066270 hasConcept C124978682 @default.
- W1589066270 hasConcept C138268822 @default.
- W1589066270 hasConcept C154690210 @default.
- W1589066270 hasConcept C165064840 @default.
- W1589066270 hasConcept C177264268 @default.
- W1589066270 hasConcept C199360897 @default.
- W1589066270 hasConcept C203265346 @default.
- W1589066270 hasConcept C206880738 @default.
- W1589066270 hasConcept C2318724 @default.
- W1589066270 hasConcept C2524010 @default.
- W1589066270 hasConcept C33923547 @default.
- W1589066270 hasConcept C41008148 @default.
- W1589066270 hasConcept C80444323 @default.
- W1589066270 hasConcept C94461902 @default.
- W1589066270 hasConceptScore W1589066270C105605280 @default.
- W1589066270 hasConceptScore W1589066270C105795698 @default.
- W1589066270 hasConceptScore W1589066270C108710211 @default.
- W1589066270 hasConceptScore W1589066270C111335779 @default.
- W1589066270 hasConceptScore W1589066270C111919701 @default.
- W1589066270 hasConceptScore W1589066270C11413529 @default.
- W1589066270 hasConceptScore W1589066270C124978682 @default.
- W1589066270 hasConceptScore W1589066270C138268822 @default.
- W1589066270 hasConceptScore W1589066270C154690210 @default.
- W1589066270 hasConceptScore W1589066270C165064840 @default.
- W1589066270 hasConceptScore W1589066270C177264268 @default.
- W1589066270 hasConceptScore W1589066270C199360897 @default.
- W1589066270 hasConceptScore W1589066270C203265346 @default.
- W1589066270 hasConceptScore W1589066270C206880738 @default.
- W1589066270 hasConceptScore W1589066270C2318724 @default.
- W1589066270 hasConceptScore W1589066270C2524010 @default.
- W1589066270 hasConceptScore W1589066270C33923547 @default.
- W1589066270 hasConceptScore W1589066270C41008148 @default.
- W1589066270 hasConceptScore W1589066270C80444323 @default.
- W1589066270 hasConceptScore W1589066270C94461902 @default.
- W1589066270 hasLocation W15890662701 @default.
- W1589066270 hasOpenAccess W1589066270 @default.
- W1589066270 hasPrimaryLocation W15890662701 @default.
- W1589066270 hasRelatedWork W1524804222 @default.
- W1589066270 hasRelatedWork W1561664087 @default.
- W1589066270 hasRelatedWork W16001729 @default.
- W1589066270 hasRelatedWork W2408514828 @default.
- W1589066270 hasRelatedWork W2510622047 @default.
- W1589066270 hasRelatedWork W2755232768 @default.
- W1589066270 hasRelatedWork W3044960660 @default.
- W1589066270 hasRelatedWork W3091216184 @default.
- W1589066270 hasRelatedWork W3100311625 @default.
- W1589066270 hasRelatedWork W1852954869 @default.
- W1589066270 isParatext "false" @default.
- W1589066270 isRetracted "false" @default.
- W1589066270 magId "1589066270" @default.
- W1589066270 workType "book-chapter" @default.