FRINK Linked Data Fragments server

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

• W1519503479 endingPage "647" @default.
• W1519503479 startingPage "632" @default.
• W1519503479 abstract "The key design challenges in the construction of a SAT-based relational model finder are described, and novel techniques are proposed to address them. An efficient model finder must have a mechanism for specifying partial solutions, an effective symmetry detection and breaking scheme, and an economical translation from relational to boolean logic. These desiderata are addressed with three new techniques: a symmetry detection algorithm that works in the presence of partial solutions, a sparse-matrix representation of relations, and a compact representation of boolean formulas inspired by boolean expression diagrams and reduced boolean circuits. The presented techniques have been implemented and evaluated, with promising results." @default.
• W1519503479 created "2016-06-24" @default.
• W1519503479 creator A5066550051 @default.
• W1519503479 creator A5088791029 @default.
• W1519503479 date "2007-07-04" @default.
• W1519503479 modified "2023-10-17" @default.
• W1519503479 title "Kodkod: A Relational Model Finder" @default.
• W1519503479 cites W1494481937 @default.
• W1519503479 cites W1518705996 @default.
• W1519503479 cites W1646117648 @default.
• W1519503479 cites W1826979233 @default.
• W1519503479 cites W1994026499 @default.
• W1519503479 cites W2074845051 @default.
• W1519503479 cites W2105421626 @default.
• W1519503479 cites W2112447468 @default.
• W1519503479 cites W2113827727 @default.
• W1519503479 cites W2116181031 @default.
• W1519503479 cites W2116758077 @default.
• W1519503479 cites W2167030131 @default.
• W1519503479 cites W2169102536 @default.
• W1519503479 cites W2173679018 @default.
• W1519503479 cites W3152154405 @default.
• W1519503479 cites W4246461308 @default.
• W1519503479 cites W4247585869 @default.
• W1519503479 cites W4248224315 @default.
• W1519503479 cites W4254512865 @default.
• W1519503479 doi "https://doi.org/10.1007/978-3-540-71209-1_49" @default.
• W1519503479 hasPublicationYear "2007" @default.
• W1519503479 type Work @default.
• W1519503479 sameAs 1519503479 @default.
• W1519503479 citedByCount "349" @default.
• W1519503479 countsByYear W15195034792012 @default.
• W1519503479 countsByYear W15195034792013 @default.
• W1519503479 countsByYear W15195034792014 @default.
• W1519503479 countsByYear W15195034792015 @default.
• W1519503479 countsByYear W15195034792016 @default.
• W1519503479 countsByYear W15195034792017 @default.
• W1519503479 countsByYear W15195034792018 @default.
• W1519503479 countsByYear W15195034792019 @default.
• W1519503479 countsByYear W15195034792020 @default.
• W1519503479 countsByYear W15195034792021 @default.
• W1519503479 countsByYear W15195034792022 @default.
• W1519503479 countsByYear W15195034792023 @default.
• W1519503479 crossrefType "book-chapter" @default.
• W1519503479 hasAuthorship W1519503479A5066550051 @default.
• W1519503479 hasAuthorship W1519503479A5088791029 @default.
• W1519503479 hasBestOaLocation W15195034791 @default.
• W1519503479 hasConcept C104317684 @default.
• W1519503479 hasConcept C105580179 @default.
• W1519503479 hasConcept C11413529 @default.
• W1519503479 hasConcept C124101348 @default.
• W1519503479 hasConcept C141796577 @default.
• W1519503479 hasConcept C149364088 @default.
• W1519503479 hasConcept C158465420 @default.
• W1519503479 hasConcept C17744445 @default.
• W1519503479 hasConcept C185592680 @default.
• W1519503479 hasConcept C187455244 @default.
• W1519503479 hasConcept C199539241 @default.
• W1519503479 hasConcept C2776359362 @default.
• W1519503479 hasConcept C40207289 @default.
• W1519503479 hasConcept C41008148 @default.
• W1519503479 hasConcept C55493867 @default.
• W1519503479 hasConcept C5655090 @default.
• W1519503479 hasConcept C80444323 @default.
• W1519503479 hasConcept C94625758 @default.
• W1519503479 hasConceptScore W1519503479C104317684 @default.
• W1519503479 hasConceptScore W1519503479C105580179 @default.
• W1519503479 hasConceptScore W1519503479C11413529 @default.
• W1519503479 hasConceptScore W1519503479C124101348 @default.
• W1519503479 hasConceptScore W1519503479C141796577 @default.
• W1519503479 hasConceptScore W1519503479C149364088 @default.
• W1519503479 hasConceptScore W1519503479C158465420 @default.
• W1519503479 hasConceptScore W1519503479C17744445 @default.
• W1519503479 hasConceptScore W1519503479C185592680 @default.
• W1519503479 hasConceptScore W1519503479C187455244 @default.
• W1519503479 hasConceptScore W1519503479C199539241 @default.
• W1519503479 hasConceptScore W1519503479C2776359362 @default.
• W1519503479 hasConceptScore W1519503479C40207289 @default.
• W1519503479 hasConceptScore W1519503479C41008148 @default.
• W1519503479 hasConceptScore W1519503479C55493867 @default.
• W1519503479 hasConceptScore W1519503479C5655090 @default.
• W1519503479 hasConceptScore W1519503479C80444323 @default.
• W1519503479 hasConceptScore W1519503479C94625758 @default.
• W1519503479 hasLocation W15195034791 @default.
• W1519503479 hasLocation W15195034792 @default.
• W1519503479 hasOpenAccess W1519503479 @default.
• W1519503479 hasPrimaryLocation W15195034791 @default.
• W1519503479 hasRelatedWork W194961446 @default.
• W1519503479 hasRelatedWork W1990123009 @default.
• W1519503479 hasRelatedWork W1999795558 @default.
• W1519503479 hasRelatedWork W2133072013 @default.
• W1519503479 hasRelatedWork W2142114659 @default.
• W1519503479 hasRelatedWork W2148068842 @default.
• W1519503479 hasRelatedWork W2165747555 @default.
• W1519503479 hasRelatedWork W2289022454 @default.
• W1519503479 hasRelatedWork W2406619057 @default.
• W1519503479 hasRelatedWork W579428358 @default.
• W1519503479 isParatext "false" @default.

• next