Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566245819> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1566245819 endingPage "208" @default.
- W1566245819 startingPage "194" @default.
- W1566245819 abstract "We present a simple generic framework to solve constraints on any domain (finite or infinite) which has a lattice structure. The approach is based on the use of a single constraint similar to the indexicals used by CLP over finite domains and on a particular definition of an interval lattice built from the computation domain. We provide the theoretical foundations for this framework, a schematic procedure for the operational semantics, and numerous examples illustrating how it can be used both over classical and new domains. We also show how lattice combinators can be used to generate new domains and hence new constraint solvers for these domains from existing domains." @default.
- W1566245819 created "2016-06-24" @default.
- W1566245819 creator A5003753544 @default.
- W1566245819 creator A5022948889 @default.
- W1566245819 date "1999-01-01" @default.
- W1566245819 modified "2023-09-23" @default.
- W1566245819 title "An Interval Lattice-Based Constraint Solving Framework for Lattices" @default.
- W1566245819 cites W1556356866 @default.
- W1566245819 cites W1982482731 @default.
- W1566245819 cites W2079333278 @default.
- W1566245819 cites W2115526279 @default.
- W1566245819 cites W2156525231 @default.
- W1566245819 cites W79760435 @default.
- W1566245819 doi "https://doi.org/10.1007/10705424_13" @default.
- W1566245819 hasPublicationYear "1999" @default.
- W1566245819 type Work @default.
- W1566245819 sameAs 1566245819 @default.
- W1566245819 citedByCount "6" @default.
- W1566245819 crossrefType "book-chapter" @default.
- W1566245819 hasAuthorship W1566245819A5003753544 @default.
- W1566245819 hasAuthorship W1566245819A5022948889 @default.
- W1566245819 hasBestOaLocation W15662458192 @default.
- W1566245819 hasConcept C11413529 @default.
- W1566245819 hasConcept C118615104 @default.
- W1566245819 hasConcept C121332964 @default.
- W1566245819 hasConcept C127413603 @default.
- W1566245819 hasConcept C136119220 @default.
- W1566245819 hasConcept C192328126 @default.
- W1566245819 hasConcept C199360897 @default.
- W1566245819 hasConcept C202444582 @default.
- W1566245819 hasConcept C24326235 @default.
- W1566245819 hasConcept C24890656 @default.
- W1566245819 hasConcept C2524010 @default.
- W1566245819 hasConcept C2776036281 @default.
- W1566245819 hasConcept C2781204021 @default.
- W1566245819 hasConcept C29585364 @default.
- W1566245819 hasConcept C33923547 @default.
- W1566245819 hasConcept C41008148 @default.
- W1566245819 hasConcept C45374587 @default.
- W1566245819 hasConcept C79678938 @default.
- W1566245819 hasConcept C80444323 @default.
- W1566245819 hasConceptScore W1566245819C11413529 @default.
- W1566245819 hasConceptScore W1566245819C118615104 @default.
- W1566245819 hasConceptScore W1566245819C121332964 @default.
- W1566245819 hasConceptScore W1566245819C127413603 @default.
- W1566245819 hasConceptScore W1566245819C136119220 @default.
- W1566245819 hasConceptScore W1566245819C192328126 @default.
- W1566245819 hasConceptScore W1566245819C199360897 @default.
- W1566245819 hasConceptScore W1566245819C202444582 @default.
- W1566245819 hasConceptScore W1566245819C24326235 @default.
- W1566245819 hasConceptScore W1566245819C24890656 @default.
- W1566245819 hasConceptScore W1566245819C2524010 @default.
- W1566245819 hasConceptScore W1566245819C2776036281 @default.
- W1566245819 hasConceptScore W1566245819C2781204021 @default.
- W1566245819 hasConceptScore W1566245819C29585364 @default.
- W1566245819 hasConceptScore W1566245819C33923547 @default.
- W1566245819 hasConceptScore W1566245819C41008148 @default.
- W1566245819 hasConceptScore W1566245819C45374587 @default.
- W1566245819 hasConceptScore W1566245819C79678938 @default.
- W1566245819 hasConceptScore W1566245819C80444323 @default.
- W1566245819 hasLocation W15662458191 @default.
- W1566245819 hasLocation W15662458192 @default.
- W1566245819 hasOpenAccess W1566245819 @default.
- W1566245819 hasPrimaryLocation W15662458191 @default.
- W1566245819 hasRelatedWork W1500466777 @default.
- W1566245819 hasRelatedWork W1519737711 @default.
- W1566245819 hasRelatedWork W1524532297 @default.
- W1566245819 hasRelatedWork W1545908890 @default.
- W1566245819 hasRelatedWork W1580708334 @default.
- W1566245819 hasRelatedWork W1863927867 @default.
- W1566245819 hasRelatedWork W1994180237 @default.
- W1566245819 hasRelatedWork W2039470898 @default.
- W1566245819 hasRelatedWork W2052406844 @default.
- W1566245819 hasRelatedWork W2079522633 @default.
- W1566245819 hasRelatedWork W2094838107 @default.
- W1566245819 hasRelatedWork W2105291986 @default.
- W1566245819 hasRelatedWork W211210274 @default.
- W1566245819 hasRelatedWork W2125915999 @default.
- W1566245819 hasRelatedWork W2616002027 @default.
- W1566245819 hasRelatedWork W71226774 @default.
- W1566245819 hasRelatedWork W9590826 @default.
- W1566245819 hasRelatedWork W1507827648 @default.
- W1566245819 hasRelatedWork W167696951 @default.
- W1566245819 hasRelatedWork W1938522435 @default.
- W1566245819 isParatext "false" @default.
- W1566245819 isRetracted "false" @default.
- W1566245819 magId "1566245819" @default.
- W1566245819 workType "book-chapter" @default.