FRINK Linked Data Fragments server

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

• W22977905 abstract "Answer Set Programming is a declarative modeling paradigm enabling specialists in diverse disciplines to describe and solve complicated problems. Growth in high performance computing is driving ever smarter and more scalable parallel answer set solvers. To improve on today’s cutting-edge, researchers need to develop increasingly intelligent methods for analysis of a solver’s runtime information. Reflecting on the solver’s search state typically pauses its progress until the analysis is complete. This work introduces methods from the domain of parallel functional programming and immutable type theory to construct a representation of the search state that is both amenable to introspection and efficiently scalable across multiple processor cores." @default.
• W22977905 created "2016-06-24" @default.
• W22977905 creator A5003127046 @default.
• W22977905 date "2012-01-01" @default.
• W22977905 modified "2023-09-27" @default.
• W22977905 title "Multi-Core Unit Propagation in Functional Languages" @default.
• W22977905 cites W1485898611 @default.
• W22977905 cites W1494190982 @default.
• W22977905 cites W1507965739 @default.
• W22977905 cites W1587375298 @default.
• W22977905 cites W1587443845 @default.
• W22977905 cites W189838518 @default.
• W22977905 cites W203746830 @default.
• W22977905 cites W2044560939 @default.
• W22977905 cites W2057361103 @default.
• W22977905 cites W2062897452 @default.
• W22977905 cites W2072725684 @default.
• W22977905 cites W2076373700 @default.
• W22977905 cites W2096307462 @default.
• W22977905 cites W2113563476 @default.
• W22977905 cites W2119190805 @default.
• W22977905 cites W2126715257 @default.
• W22977905 cites W2135063076 @default.
• W22977905 cites W2142785340 @default.
• W22977905 cites W2143934828 @default.
• W22977905 cites W2156376751 @default.
• W22977905 cites W2172013743 @default.
• W22977905 cites W23241257 @default.
• W22977905 cites W2917091293 @default.
• W22977905 cites W4983232 @default.
• W22977905 cites W78552530 @default.
• W22977905 cites W963637985 @default.
• W22977905 cites W146046645 @default.
• W22977905 hasPublicationYear "2012" @default.
• W22977905 type Work @default.
• W22977905 sameAs 22977905 @default.
• W22977905 citedByCount "0" @default.
• W22977905 crossrefType "journal-article" @default.
• W22977905 hasAuthorship W22977905A5003127046 @default.
• W22977905 hasConcept C134306372 @default.
• W22977905 hasConcept C177264268 @default.
• W22977905 hasConcept C17744445 @default.
• W22977905 hasConcept C199360897 @default.
• W22977905 hasConcept C199539241 @default.
• W22977905 hasConcept C2776359362 @default.
• W22977905 hasConcept C2778770139 @default.
• W22977905 hasConcept C2780801425 @default.
• W22977905 hasConcept C33923547 @default.
• W22977905 hasConcept C34165917 @default.
• W22977905 hasConcept C36503486 @default.
• W22977905 hasConcept C41008148 @default.
• W22977905 hasConcept C42383842 @default.
• W22977905 hasConcept C48044578 @default.
• W22977905 hasConcept C48103436 @default.
• W22977905 hasConcept C77088390 @default.
• W22977905 hasConcept C80444323 @default.
• W22977905 hasConcept C94625758 @default.
• W22977905 hasConceptScore W22977905C134306372 @default.
• W22977905 hasConceptScore W22977905C177264268 @default.
• W22977905 hasConceptScore W22977905C17744445 @default.
• W22977905 hasConceptScore W22977905C199360897 @default.
• W22977905 hasConceptScore W22977905C199539241 @default.
• W22977905 hasConceptScore W22977905C2776359362 @default.
• W22977905 hasConceptScore W22977905C2778770139 @default.
• W22977905 hasConceptScore W22977905C2780801425 @default.
• W22977905 hasConceptScore W22977905C33923547 @default.
• W22977905 hasConceptScore W22977905C34165917 @default.
• W22977905 hasConceptScore W22977905C36503486 @default.
• W22977905 hasConceptScore W22977905C41008148 @default.
• W22977905 hasConceptScore W22977905C42383842 @default.
• W22977905 hasConceptScore W22977905C48044578 @default.
• W22977905 hasConceptScore W22977905C48103436 @default.
• W22977905 hasConceptScore W22977905C77088390 @default.
• W22977905 hasConceptScore W22977905C80444323 @default.
• W22977905 hasConceptScore W22977905C94625758 @default.
• W22977905 hasLocation W229779051 @default.
• W22977905 hasOpenAccess W22977905 @default.
• W22977905 hasPrimaryLocation W229779051 @default.
• W22977905 hasRelatedWork W1480070952 @default.
• W22977905 hasRelatedWork W1491259492 @default.
• W22977905 hasRelatedWork W1568177366 @default.
• W22977905 hasRelatedWork W1659242987 @default.
• W22977905 hasRelatedWork W1808520879 @default.
• W22977905 hasRelatedWork W1970583320 @default.
• W22977905 hasRelatedWork W2003007905 @default.
• W22977905 hasRelatedWork W2022647944 @default.
• W22977905 hasRelatedWork W2056598594 @default.
• W22977905 hasRelatedWork W2068822038 @default.
• W22977905 hasRelatedWork W2071906443 @default.
• W22977905 hasRelatedWork W2093296969 @default.
• W22977905 hasRelatedWork W2096306683 @default.
• W22977905 hasRelatedWork W2117477573 @default.
• W22977905 hasRelatedWork W2123647006 @default.
• W22977905 hasRelatedWork W2123709269 @default.
• W22977905 hasRelatedWork W2148547662 @default.
• W22977905 hasRelatedWork W2750926738 @default.
• W22977905 hasRelatedWork W2964844986 @default.
• W22977905 hasRelatedWork W2996351973 @default.
• W22977905 isParatext "false" @default.
• W22977905 isRetracted "false" @default.

• next