Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567388431> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1567388431 abstract "Constraint solving techniques are nowadays frequently based on constraint propagation which can be interpreted as a specific form of deduction. Using constraint programming languages enhanced with constraint handling rules facilities, we can now perform constraint propagation just by applying deduction rules over constraints. The idea of computing propagation rules in the particular case of small finite domains has emerged in a recent paper by K. R. Apt and E. Monfroy [1]. Due to its interest for practical applications, the integration of Finite Domains into (constraint) logic programming has been thoroughly investigated during the last decade. A possible way of integration is achieved using a unitary unification algorithm, based on the handling of Directed Acyclic Graphs to represent functions over the finite domain. We show in this paper the interest of this solver for the generation of propagation rules for finite domains. Our motivation relies on the well-established fact that unification provides a concise solution to perform safe deductions about the possible values taken by variables. Conversely, the propagation rules appear to be a quite interesting output in comparison with the symbolic most general solution usually printed out by the unification algorithm. Therefore, a rule-based approach and the notion of propagation rules are adopted here, in order to provide a more understandable output to the unification algorithm." @default.
- W1567388431 created "2016-06-24" @default.
- W1567388431 creator A5027575859 @default.
- W1567388431 creator A5076284994 @default.
- W1567388431 date "1999-10-01" @default.
- W1567388431 modified "2023-09-28" @default.
- W1567388431 title "Generating Propagation Rules for Finite Domains via Unification in Finite Algebras" @default.
- W1567388431 hasPublicationYear "1999" @default.
- W1567388431 type Work @default.
- W1567388431 sameAs 1567388431 @default.
- W1567388431 citedByCount "2" @default.
- W1567388431 crossrefType "journal-article" @default.
- W1567388431 hasAuthorship W1567388431A5027575859 @default.
- W1567388431 hasAuthorship W1567388431A5076284994 @default.
- W1567388431 hasConcept C11413529 @default.
- W1567388431 hasConcept C126255220 @default.
- W1567388431 hasConcept C134306372 @default.
- W1567388431 hasConcept C136119220 @default.
- W1567388431 hasConcept C137105694 @default.
- W1567388431 hasConcept C137631369 @default.
- W1567388431 hasConcept C154945302 @default.
- W1567388431 hasConcept C173404611 @default.
- W1567388431 hasConcept C176783269 @default.
- W1567388431 hasConcept C17744445 @default.
- W1567388431 hasConcept C199360897 @default.
- W1567388431 hasConcept C199539241 @default.
- W1567388431 hasConcept C199622910 @default.
- W1567388431 hasConcept C202444582 @default.
- W1567388431 hasConcept C2524010 @default.
- W1567388431 hasConcept C2776036281 @default.
- W1567388431 hasConcept C2778770139 @default.
- W1567388431 hasConcept C33923547 @default.
- W1567388431 hasConcept C36503486 @default.
- W1567388431 hasConcept C41008148 @default.
- W1567388431 hasConcept C49937458 @default.
- W1567388431 hasConcept C67820243 @default.
- W1567388431 hasConcept C80444323 @default.
- W1567388431 hasConcept C96146094 @default.
- W1567388431 hasConceptScore W1567388431C11413529 @default.
- W1567388431 hasConceptScore W1567388431C126255220 @default.
- W1567388431 hasConceptScore W1567388431C134306372 @default.
- W1567388431 hasConceptScore W1567388431C136119220 @default.
- W1567388431 hasConceptScore W1567388431C137105694 @default.
- W1567388431 hasConceptScore W1567388431C137631369 @default.
- W1567388431 hasConceptScore W1567388431C154945302 @default.
- W1567388431 hasConceptScore W1567388431C173404611 @default.
- W1567388431 hasConceptScore W1567388431C176783269 @default.
- W1567388431 hasConceptScore W1567388431C17744445 @default.
- W1567388431 hasConceptScore W1567388431C199360897 @default.
- W1567388431 hasConceptScore W1567388431C199539241 @default.
- W1567388431 hasConceptScore W1567388431C199622910 @default.
- W1567388431 hasConceptScore W1567388431C202444582 @default.
- W1567388431 hasConceptScore W1567388431C2524010 @default.
- W1567388431 hasConceptScore W1567388431C2776036281 @default.
- W1567388431 hasConceptScore W1567388431C2778770139 @default.
- W1567388431 hasConceptScore W1567388431C33923547 @default.
- W1567388431 hasConceptScore W1567388431C36503486 @default.
- W1567388431 hasConceptScore W1567388431C41008148 @default.
- W1567388431 hasConceptScore W1567388431C49937458 @default.
- W1567388431 hasConceptScore W1567388431C67820243 @default.
- W1567388431 hasConceptScore W1567388431C80444323 @default.
- W1567388431 hasConceptScore W1567388431C96146094 @default.
- W1567388431 hasOpenAccess W1567388431 @default.
- W1567388431 hasRelatedWork W1493674456 @default.
- W1567388431 hasRelatedWork W1510222959 @default.
- W1567388431 hasRelatedWork W1533315542 @default.
- W1567388431 hasRelatedWork W1543209374 @default.
- W1567388431 hasRelatedWork W1562734116 @default.
- W1567388431 hasRelatedWork W1584488478 @default.
- W1567388431 hasRelatedWork W1916487582 @default.
- W1567388431 hasRelatedWork W1994293250 @default.
- W1567388431 hasRelatedWork W2001769932 @default.
- W1567388431 hasRelatedWork W2025087021 @default.
- W1567388431 hasRelatedWork W2074167529 @default.
- W1567388431 hasRelatedWork W2079333278 @default.
- W1567388431 hasRelatedWork W2102329872 @default.
- W1567388431 hasRelatedWork W2119456262 @default.
- W1567388431 hasRelatedWork W2130786069 @default.
- W1567388431 hasRelatedWork W2182706522 @default.
- W1567388431 hasRelatedWork W2185606642 @default.
- W1567388431 hasRelatedWork W2396822542 @default.
- W1567388431 hasRelatedWork W2510644505 @default.
- W1567388431 hasRelatedWork W2538302065 @default.
- W1567388431 isParatext "false" @default.
- W1567388431 isRetracted "false" @default.
- W1567388431 magId "1567388431" @default.
- W1567388431 workType "article" @default.