Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950571168> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2950571168 abstract "We provide here a proof theoretic account of constraint programming that attempts to capture the essential ingredients of this programming style. We exemplify it by presenting proof rules for linear constraints over interval domains, and illustrate their use by analyzing the constraint propagation process for the {tt SEND + MORE = MONEY} puzzle. We also show how this approach allows one to build new constraint solvers." @default.
- W2950571168 created "2019-06-27" @default.
- W2950571168 creator A5042418599 @default.
- W2950571168 date "1998-10-20" @default.
- W2950571168 modified "2023-09-28" @default.
- W2950571168 title "A Proof Theoretic View of Constraint Programming" @default.
- W2950571168 cites W1508667711 @default.
- W2950571168 cites W1688043115 @default.
- W2950571168 cites W2060149720 @default.
- W2950571168 cites W2340149117 @default.
- W2950571168 cites W47695912 @default.
- W2950571168 cites W2515739417 @default.
- W2950571168 hasPublicationYear "1998" @default.
- W2950571168 type Work @default.
- W2950571168 sameAs 2950571168 @default.
- W2950571168 citedByCount "0" @default.
- W2950571168 crossrefType "posted-content" @default.
- W2950571168 hasAuthorship W2950571168A5042418599 @default.
- W2950571168 hasConcept C126255220 @default.
- W2950571168 hasConcept C137631369 @default.
- W2950571168 hasConcept C154945302 @default.
- W2950571168 hasConcept C173404611 @default.
- W2950571168 hasConcept C176783269 @default.
- W2950571168 hasConcept C199360897 @default.
- W2950571168 hasConcept C2524010 @default.
- W2950571168 hasConcept C2776036281 @default.
- W2950571168 hasConcept C33923547 @default.
- W2950571168 hasConcept C41008148 @default.
- W2950571168 hasConcept C44616089 @default.
- W2950571168 hasConcept C49937458 @default.
- W2950571168 hasConcept C80444323 @default.
- W2950571168 hasConcept C98045186 @default.
- W2950571168 hasConceptScore W2950571168C126255220 @default.
- W2950571168 hasConceptScore W2950571168C137631369 @default.
- W2950571168 hasConceptScore W2950571168C154945302 @default.
- W2950571168 hasConceptScore W2950571168C173404611 @default.
- W2950571168 hasConceptScore W2950571168C176783269 @default.
- W2950571168 hasConceptScore W2950571168C199360897 @default.
- W2950571168 hasConceptScore W2950571168C2524010 @default.
- W2950571168 hasConceptScore W2950571168C2776036281 @default.
- W2950571168 hasConceptScore W2950571168C33923547 @default.
- W2950571168 hasConceptScore W2950571168C41008148 @default.
- W2950571168 hasConceptScore W2950571168C44616089 @default.
- W2950571168 hasConceptScore W2950571168C49937458 @default.
- W2950571168 hasConceptScore W2950571168C80444323 @default.
- W2950571168 hasConceptScore W2950571168C98045186 @default.
- W2950571168 hasOpenAccess W2950571168 @default.
- W2950571168 hasRelatedWork W1510222959 @default.
- W2950571168 hasRelatedWork W1562734116 @default.
- W2950571168 hasRelatedWork W1579890282 @default.
- W2950571168 hasRelatedWork W191849379 @default.
- W2950571168 hasRelatedWork W2022615940 @default.
- W2950571168 hasRelatedWork W2111141597 @default.
- W2950571168 hasRelatedWork W2184941558 @default.
- W2950571168 hasRelatedWork W2185606642 @default.
- W2950571168 hasRelatedWork W2185643138 @default.
- W2950571168 hasRelatedWork W2394839833 @default.
- W2950571168 hasRelatedWork W2470660316 @default.
- W2950571168 hasRelatedWork W2531414784 @default.
- W2950571168 hasRelatedWork W2735944019 @default.
- W2950571168 hasRelatedWork W2795137655 @default.
- W2950571168 hasRelatedWork W2898734375 @default.
- W2950571168 hasRelatedWork W2990394149 @default.
- W2950571168 hasRelatedWork W3021963355 @default.
- W2950571168 hasRelatedWork W3108137713 @default.
- W2950571168 hasRelatedWork W3151924600 @default.
- W2950571168 hasRelatedWork W3201064495 @default.
- W2950571168 isParatext "false" @default.
- W2950571168 isRetracted "false" @default.
- W2950571168 magId "2950571168" @default.
- W2950571168 workType "article" @default.