FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3011157958> ?p ?o ?g. }

• W3011157958 abstract "We present a method to simplify expressions in the context of an equational theory. The basic ideas and concepts of the method have been presented previously elsewhere but here we tackle the difficult task of making it efficient in practice, in spite of its great generality. We first recall the notion of a collection of structures, which allows us to manipulate very large (possibly infinite) sets of terms as a whole, i.e., without enumerating their elements. Then we use this tool to construct algorithms to simplify expressions. We give various reasons why it is difficult to make these algorithms precise and efficient. We then propose a number of approches to solve the raised issues. Finally, and importantly, we provide a detailed experimental evaluation of the method and a comparison of several variants of it. Although the method is completely generic, we use (arbitrary, not only two-level) boolean expressions as the application field for these experiments because impressive simplifications can be obtained in spite of the hardness of the problem." @default.
• W3011157958 created "2020-03-23" @default.
• W3011157958 creator A5025418652 @default.
• W3011157958 date "2020-03-13" @default.
• W3011157958 modified "2023-09-27" @default.
• W3011157958 title "Experimental Evaluation of a Method to Simplify Expressions." @default.
• W3011157958 cites W1567682528 @default.
• W3011157958 cites W1593799327 @default.
• W3011157958 cites W1596865963 @default.
• W3011157958 cites W1725050467 @default.
• W3011157958 cites W1969777579 @default.
• W3011157958 cites W1993449345 @default.
• W3011157958 cites W2000346568 @default.
• W3011157958 cites W2018094844 @default.
• W3011157958 cites W2022132320 @default.
• W3011157958 cites W2030224590 @default.
• W3011157958 cites W2036915776 @default.
• W3011157958 cites W2037163667 @default.
• W3011157958 cites W2039140951 @default.
• W3011157958 cites W2082448265 @default.
• W3011157958 cites W2097414162 @default.
• W3011157958 cites W2153131284 @default.
• W3011157958 cites W2163152086 @default.
• W3011157958 cites W2164778826 @default.
• W3011157958 cites W2329329248 @default.
• W3011157958 cites W2466845429 @default.
• W3011157958 cites W2583369873 @default.
• W3011157958 cites W2598379852 @default.
• W3011157958 cites W2598794460 @default.
• W3011157958 cites W2752853835 @default.
• W3011157958 cites W2912330988 @default.
• W3011157958 hasPublicationYear "2020" @default.
• W3011157958 type Work @default.
• W3011157958 sameAs 3011157958 @default.
• W3011157958 citedByCount "0" @default.
• W3011157958 crossrefType "posted-content" @default.
• W3011157958 hasAuthorship W3011157958A5025418652 @default.
• W3011157958 hasConcept C11413529 @default.
• W3011157958 hasConcept C151730666 @default.
• W3011157958 hasConcept C15744967 @default.
• W3011157958 hasConcept C158465420 @default.
• W3011157958 hasConcept C162324750 @default.
• W3011157958 hasConcept C187455244 @default.
• W3011157958 hasConcept C187736073 @default.
• W3011157958 hasConcept C199360897 @default.
• W3011157958 hasConcept C202444582 @default.
• W3011157958 hasConcept C2779343474 @default.
• W3011157958 hasConcept C2780451532 @default.
• W3011157958 hasConcept C2780767217 @default.
• W3011157958 hasConcept C2780801425 @default.
• W3011157958 hasConcept C33923547 @default.
• W3011157958 hasConcept C41008148 @default.
• W3011157958 hasConcept C542102704 @default.
• W3011157958 hasConcept C80444323 @default.
• W3011157958 hasConcept C86803240 @default.
• W3011157958 hasConcept C9652623 @default.
• W3011157958 hasConceptScore W3011157958C11413529 @default.
• W3011157958 hasConceptScore W3011157958C151730666 @default.
• W3011157958 hasConceptScore W3011157958C15744967 @default.
• W3011157958 hasConceptScore W3011157958C158465420 @default.
• W3011157958 hasConceptScore W3011157958C162324750 @default.
• W3011157958 hasConceptScore W3011157958C187455244 @default.
• W3011157958 hasConceptScore W3011157958C187736073 @default.
• W3011157958 hasConceptScore W3011157958C199360897 @default.
• W3011157958 hasConceptScore W3011157958C202444582 @default.
• W3011157958 hasConceptScore W3011157958C2779343474 @default.
• W3011157958 hasConceptScore W3011157958C2780451532 @default.
• W3011157958 hasConceptScore W3011157958C2780767217 @default.
• W3011157958 hasConceptScore W3011157958C2780801425 @default.
• W3011157958 hasConceptScore W3011157958C33923547 @default.
• W3011157958 hasConceptScore W3011157958C41008148 @default.
• W3011157958 hasConceptScore W3011157958C542102704 @default.
• W3011157958 hasConceptScore W3011157958C80444323 @default.
• W3011157958 hasConceptScore W3011157958C86803240 @default.
• W3011157958 hasConceptScore W3011157958C9652623 @default.
• W3011157958 hasLocation W30111579581 @default.
• W3011157958 hasOpenAccess W3011157958 @default.
• W3011157958 hasPrimaryLocation W30111579581 @default.
• W3011157958 hasRelatedWork W1204367150 @default.
• W3011157958 hasRelatedWork W131087274 @default.
• W3011157958 hasRelatedWork W1494674814 @default.
• W3011157958 hasRelatedWork W1559301759 @default.
• W3011157958 hasRelatedWork W1562935955 @default.
• W3011157958 hasRelatedWork W1587481346 @default.
• W3011157958 hasRelatedWork W1830383289 @default.
• W3011157958 hasRelatedWork W2162177141 @default.
• W3011157958 hasRelatedWork W2188019447 @default.
• W3011157958 hasRelatedWork W2233529400 @default.
• W3011157958 hasRelatedWork W2473453452 @default.
• W3011157958 hasRelatedWork W2478464795 @default.
• W3011157958 hasRelatedWork W2529002779 @default.
• W3011157958 hasRelatedWork W2739464847 @default.
• W3011157958 hasRelatedWork W2911867448 @default.
• W3011157958 hasRelatedWork W2969357465 @default.
• W3011157958 hasRelatedWork W2999051667 @default.
• W3011157958 hasRelatedWork W3033356064 @default.
• W3011157958 hasRelatedWork W2184069540 @default.
• W3011157958 hasRelatedWork W3099497372 @default.
• W3011157958 isParatext "false" @default.
• W3011157958 isRetracted "false" @default.

• next