Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585486594> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1585486594 endingPage "194" @default.
- W1585486594 startingPage "182" @default.
- W1585486594 abstract "The Mona tool provides an implementation of the decision procedures for the logics WS1S and WS2S. It has been used for numerous applications, and it is remarkably efficient in practice, even though it faces a theoretically non-elementary worst-case complexity. The implementation has matured over a period of six years. Compared to the first naive version, the present tool is faster by several orders of magnitude. This speedup is obtained from many different contributions working on all levels of the compilation and execution of formulas. We present a selection of implementation “secrets” that have been discovered and tested over the years, including formula reductions, DAGification, guided tree automata, three-valued logic, eager minimization, BDD-based automata representations, and cache-conscious data structures. We describe these techniques and quantify their respective effects by experimenting with separate versions of the Mona tool that in turn omit each of them." @default.
- W1585486594 created "2016-06-24" @default.
- W1585486594 creator A5066751232 @default.
- W1585486594 creator A5076644461 @default.
- W1585486594 creator A5083488023 @default.
- W1585486594 date "2001-01-01" @default.
- W1585486594 modified "2023-10-15" @default.
- W1585486594 title "MONA Implementation Secrets" @default.
- W1585486594 cites W128368934 @default.
- W1585486594 cites W1488621996 @default.
- W1585486594 cites W1508300074 @default.
- W1585486594 cites W1515948700 @default.
- W1585486594 cites W1534875900 @default.
- W1585486594 cites W1560050980 @default.
- W1585486594 cites W1579129613 @default.
- W1585486594 cites W1588498588 @default.
- W1585486594 cites W1818793721 @default.
- W1585486594 cites W2032767692 @default.
- W1585486594 cites W2080267935 @default.
- W1585486594 cites W2114297459 @default.
- W1585486594 cites W4205178514 @default.
- W1585486594 cites W4243535863 @default.
- W1585486594 doi "https://doi.org/10.1007/3-540-44674-5_15" @default.
- W1585486594 hasPublicationYear "2001" @default.
- W1585486594 type Work @default.
- W1585486594 sameAs 1585486594 @default.
- W1585486594 citedByCount "25" @default.
- W1585486594 countsByYear W15854865942012 @default.
- W1585486594 countsByYear W15854865942013 @default.
- W1585486594 countsByYear W15854865942015 @default.
- W1585486594 countsByYear W15854865942019 @default.
- W1585486594 countsByYear W15854865942020 @default.
- W1585486594 crossrefType "book-chapter" @default.
- W1585486594 hasAuthorship W1585486594A5066751232 @default.
- W1585486594 hasAuthorship W1585486594A5076644461 @default.
- W1585486594 hasAuthorship W1585486594A5083488023 @default.
- W1585486594 hasConcept C112505250 @default.
- W1585486594 hasConcept C115537543 @default.
- W1585486594 hasConcept C147764199 @default.
- W1585486594 hasConcept C154945302 @default.
- W1585486594 hasConcept C173608175 @default.
- W1585486594 hasConcept C199360897 @default.
- W1585486594 hasConcept C41008148 @default.
- W1585486594 hasConcept C68339613 @default.
- W1585486594 hasConcept C80444323 @default.
- W1585486594 hasConcept C81917197 @default.
- W1585486594 hasConceptScore W1585486594C112505250 @default.
- W1585486594 hasConceptScore W1585486594C115537543 @default.
- W1585486594 hasConceptScore W1585486594C147764199 @default.
- W1585486594 hasConceptScore W1585486594C154945302 @default.
- W1585486594 hasConceptScore W1585486594C173608175 @default.
- W1585486594 hasConceptScore W1585486594C199360897 @default.
- W1585486594 hasConceptScore W1585486594C41008148 @default.
- W1585486594 hasConceptScore W1585486594C68339613 @default.
- W1585486594 hasConceptScore W1585486594C80444323 @default.
- W1585486594 hasConceptScore W1585486594C81917197 @default.
- W1585486594 hasLocation W15854865941 @default.
- W1585486594 hasOpenAccess W1585486594 @default.
- W1585486594 hasPrimaryLocation W15854865941 @default.
- W1585486594 hasRelatedWork W1980160788 @default.
- W1585486594 hasRelatedWork W198851386 @default.
- W1585486594 hasRelatedWork W2030310580 @default.
- W1585486594 hasRelatedWork W2148915962 @default.
- W1585486594 hasRelatedWork W2283866686 @default.
- W1585486594 hasRelatedWork W2317245370 @default.
- W1585486594 hasRelatedWork W27867058 @default.
- W1585486594 hasRelatedWork W3160031511 @default.
- W1585486594 hasRelatedWork W4287182096 @default.
- W1585486594 hasRelatedWork W947442053 @default.
- W1585486594 isParatext "false" @default.
- W1585486594 isRetracted "false" @default.
- W1585486594 magId "1585486594" @default.
- W1585486594 workType "book-chapter" @default.