Matches in SemOpenAlex for { <https://semopenalex.org/work/W1685752790> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W1685752790 abstract "Using a glass-box theory of finite domain constraints, FD, we show how the entailment of user-defined constraints can be expressed by antimonotone FD constraints. We also provide an algorithm for checking the entailment and consistency of FD constraints. FD is shown to be expressive enough to allow the definition of arithmetical constraints, as well as nontrivial symbolic constraints, that are normally built in to CLP systems. In particular, we use conditional FD constraints, which exploit entailment checking, to define symbolic constraints. Thus, we claim that a glass-box system such as FD is expressive enough to capture the essence of finite domain constraint programming" @default.
- W1685752790 created "2016-06-24" @default.
- W1685752790 creator A5057648356 @default.
- W1685752790 creator A5088630070 @default.
- W1685752790 creator A5090363377 @default.
- W1685752790 date "1994-01-01" @default.
- W1685752790 modified "2023-10-02" @default.
- W1685752790 title "Entailment of Finite Domain Constraints" @default.
- W1685752790 cites W1506365709 @default.
- W1685752790 cites W1563855770 @default.
- W1685752790 cites W187268814 @default.
- W1685752790 cites W1988095917 @default.
- W1685752790 cites W2030522691 @default.
- W1685752790 cites W30151932 @default.
- W1685752790 cites W65937437 @default.
- W1685752790 cites W76250598 @default.
- W1685752790 cites W2142423074 @default.
- W1685752790 doi "https://doi.org/10.7551/mitpress/4316.003.0038" @default.
- W1685752790 hasPublicationYear "1994" @default.
- W1685752790 type Work @default.
- W1685752790 sameAs 1685752790 @default.
- W1685752790 citedByCount "17" @default.
- W1685752790 countsByYear W16857527902013 @default.
- W1685752790 countsByYear W16857527902014 @default.
- W1685752790 countsByYear W16857527902018 @default.
- W1685752790 crossrefType "book-chapter" @default.
- W1685752790 hasAuthorship W1685752790A5057648356 @default.
- W1685752790 hasAuthorship W1685752790A5088630070 @default.
- W1685752790 hasAuthorship W1685752790A5090363377 @default.
- W1685752790 hasBestOaLocation W16857527904 @default.
- W1685752790 hasConcept C134306372 @default.
- W1685752790 hasConcept C134752490 @default.
- W1685752790 hasConcept C154945302 @default.
- W1685752790 hasConcept C204321447 @default.
- W1685752790 hasConcept C33923547 @default.
- W1685752790 hasConcept C36503486 @default.
- W1685752790 hasConcept C41008148 @default.
- W1685752790 hasConceptScore W1685752790C134306372 @default.
- W1685752790 hasConceptScore W1685752790C134752490 @default.
- W1685752790 hasConceptScore W1685752790C154945302 @default.
- W1685752790 hasConceptScore W1685752790C204321447 @default.
- W1685752790 hasConceptScore W1685752790C33923547 @default.
- W1685752790 hasConceptScore W1685752790C36503486 @default.
- W1685752790 hasConceptScore W1685752790C41008148 @default.
- W1685752790 hasLocation W16857527901 @default.
- W1685752790 hasLocation W16857527902 @default.
- W1685752790 hasLocation W16857527903 @default.
- W1685752790 hasLocation W16857527904 @default.
- W1685752790 hasOpenAccess W1685752790 @default.
- W1685752790 hasPrimaryLocation W16857527901 @default.
- W1685752790 hasRelatedWork W128392744 @default.
- W1685752790 hasRelatedWork W1515542156 @default.
- W1685752790 hasRelatedWork W1992419927 @default.
- W1685752790 hasRelatedWork W2293457016 @default.
- W1685752790 hasRelatedWork W2368651715 @default.
- W1685752790 hasRelatedWork W2611614995 @default.
- W1685752790 hasRelatedWork W2789919619 @default.
- W1685752790 hasRelatedWork W3107474891 @default.
- W1685752790 hasRelatedWork W3169305685 @default.
- W1685752790 hasRelatedWork W4321496520 @default.
- W1685752790 isParatext "false" @default.
- W1685752790 isRetracted "false" @default.
- W1685752790 magId "1685752790" @default.
- W1685752790 workType "book-chapter" @default.