FRINK Linked Data Fragments server

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

• W2396680566 endingPage "170" @default.
• W2396680566 startingPage "151" @default.
• W2396680566 abstract "A constraint programming system usually consists of two main components: a modelling language used to describe a constraint satisfaction problem and a constraint solver searching for solutions to the given problem by applying specific algorithms. As constraint programming and functional logic languages share some common features, like computing with logic variables or the use of backtracking for non-deterministic search, it is reasonable to embed a modelling language for finite domain constraints in a functional logic language like Curry. Due to the absence of side effects or global state over non-deterministic computations in Curry, the implementation of a stateful constraint solver is rather difficult. In this paper we consider KiCS2, a Curry compiler translating Curry programs into Haskell programs. In order to embed finite domain constraints in KiCS2, we propose a new implementation technique compatible with the purely functional nature of its back end. Our implementation collects finite domain constraints occurring during a program run and passes them to a constraint solver available in Haskell whenever solutions are requested." @default.
• W2396680566 created "2016-06-24" @default.
• W2396680566 creator A5015149620 @default.
• W2396680566 creator A5024421847 @default.
• W2396680566 creator A5067594380 @default.
• W2396680566 date "2014-01-01" @default.
• W2396680566 modified "2023-09-23" @default.
• W2396680566 title "Integration of Finite Domain Constraints in KiCS2." @default.
• W2396680566 cites W100098737 @default.
• W2396680566 cites W1522154830 @default.
• W2396680566 cites W1533650456 @default.
• W2396680566 cites W1556536463 @default.
• W2396680566 cites W1650673748 @default.
• W2396680566 cites W1819779993 @default.
• W2396680566 cites W1880050370 @default.
• W2396680566 cites W2063521547 @default.
• W2396680566 cites W2091555667 @default.
• W2396680566 cites W2100738443 @default.
• W2396680566 cites W2104980999 @default.
• W2396680566 cites W2112087718 @default.
• W2396680566 cites W2113562776 @default.
• W2396680566 cites W2118499864 @default.
• W2396680566 cites W2119156278 @default.
• W2396680566 cites W2123396057 @default.
• W2396680566 cites W2127844749 @default.
• W2396680566 cites W2128166167 @default.
• W2396680566 cites W2171649093 @default.
• W2396680566 cites W2397826137 @default.
• W2396680566 cites W2522150609 @default.
• W2396680566 cites W3159226331 @default.
• W2396680566 cites W68427271 @default.
• W2396680566 cites W1510628702 @default.
• W2396680566 cites W1977760557 @default.
• W2396680566 cites W2583759421 @default.
• W2396680566 hasPublicationYear "2014" @default.
• W2396680566 type Work @default.
• W2396680566 sameAs 2396680566 @default.
• W2396680566 citedByCount "0" @default.
• W2396680566 crossrefType "journal-article" @default.
• W2396680566 hasAuthorship W2396680566A5015149620 @default.
• W2396680566 hasAuthorship W2396680566A5024421847 @default.
• W2396680566 hasAuthorship W2396680566A5067594380 @default.
• W2396680566 hasConcept C126255220 @default.
• W2396680566 hasConcept C134306372 @default.
• W2396680566 hasConcept C135257023 @default.
• W2396680566 hasConcept C137631369 @default.
• W2396680566 hasConcept C154945302 @default.
• W2396680566 hasConcept C156884757 @default.
• W2396680566 hasConcept C164155591 @default.
• W2396680566 hasConcept C169590947 @default.
• W2396680566 hasConcept C173404611 @default.
• W2396680566 hasConcept C176783269 @default.
• W2396680566 hasConcept C199360897 @default.
• W2396680566 hasConcept C199622910 @default.
• W2396680566 hasConcept C2524010 @default.
• W2396680566 hasConcept C2776036281 @default.
• W2396680566 hasConcept C2778770139 @default.
• W2396680566 hasConcept C2780624054 @default.
• W2396680566 hasConcept C33923547 @default.
• W2396680566 hasConcept C36503486 @default.
• W2396680566 hasConcept C41008148 @default.
• W2396680566 hasConcept C42383842 @default.
• W2396680566 hasConcept C44616089 @default.
• W2396680566 hasConcept C49937458 @default.
• W2396680566 hasConcept C80444323 @default.
• W2396680566 hasConceptScore W2396680566C126255220 @default.
• W2396680566 hasConceptScore W2396680566C134306372 @default.
• W2396680566 hasConceptScore W2396680566C135257023 @default.
• W2396680566 hasConceptScore W2396680566C137631369 @default.
• W2396680566 hasConceptScore W2396680566C154945302 @default.
• W2396680566 hasConceptScore W2396680566C156884757 @default.
• W2396680566 hasConceptScore W2396680566C164155591 @default.
• W2396680566 hasConceptScore W2396680566C169590947 @default.
• W2396680566 hasConceptScore W2396680566C173404611 @default.
• W2396680566 hasConceptScore W2396680566C176783269 @default.
• W2396680566 hasConceptScore W2396680566C199360897 @default.
• W2396680566 hasConceptScore W2396680566C199622910 @default.
• W2396680566 hasConceptScore W2396680566C2524010 @default.
• W2396680566 hasConceptScore W2396680566C2776036281 @default.
• W2396680566 hasConceptScore W2396680566C2778770139 @default.
• W2396680566 hasConceptScore W2396680566C2780624054 @default.
• W2396680566 hasConceptScore W2396680566C33923547 @default.
• W2396680566 hasConceptScore W2396680566C36503486 @default.
• W2396680566 hasConceptScore W2396680566C41008148 @default.
• W2396680566 hasConceptScore W2396680566C42383842 @default.
• W2396680566 hasConceptScore W2396680566C44616089 @default.
• W2396680566 hasConceptScore W2396680566C49937458 @default.
• W2396680566 hasConceptScore W2396680566C80444323 @default.
• W2396680566 hasLocation W23966805661 @default.
• W2396680566 hasOpenAccess W2396680566 @default.
• W2396680566 hasPrimaryLocation W23966805661 @default.
• W2396680566 hasRelatedWork W11070830 @default.
• W2396680566 hasRelatedWork W1490855973 @default.
• W2396680566 hasRelatedWork W1519322272 @default.
• W2396680566 hasRelatedWork W1520191908 @default.
• W2396680566 hasRelatedWork W1536334038 @default.
• W2396680566 hasRelatedWork W1548409801 @default.
• W2396680566 hasRelatedWork W1550282628 @default.

• next