Matches in SemOpenAlex for { <https://semopenalex.org/work/W2142372968> ?p ?o ?g. }
- W2142372968 abstract "A short overview of the constraint logic programming language CHIP is presented. Constraint logic programming is a class of nondeterministic languages whose main operation is constraint solving over some computation domain. Besides the Herbrand universe, CHIP contains three computation domains: Boolean algebra, linear rational arithmetics, and finite domains. CHIP has been applied to a variety of combinatorial problems in hardware design (e.g. formal verification), in operations research (e.g. car-sequencing), and in decision-support systems. >" @default.
- W2142372968 created "2016-06-24" @default.
- W2142372968 creator A5035808622 @default.
- W2142372968 date "2002-12-10" @default.
- W2142372968 modified "2023-09-26" @default.
- W2142372968 title "The CLP language CHIP: constraint solving and applications" @default.
- W2142372968 cites W115757739 @default.
- W2142372968 cites W13212857 @default.
- W2142372968 cites W1503179130 @default.
- W2142372968 cites W1522052976 @default.
- W2142372968 cites W1548860908 @default.
- W2142372968 cites W1552837293 @default.
- W2142372968 cites W1554822239 @default.
- W2142372968 cites W158482823 @default.
- W2142372968 cites W1596887828 @default.
- W2142372968 cites W164193862 @default.
- W2142372968 cites W1968784274 @default.
- W2142372968 cites W1986473353 @default.
- W2142372968 cites W1988095917 @default.
- W2142372968 cites W1991718942 @default.
- W2142372968 cites W1993847066 @default.
- W2142372968 cites W2021519440 @default.
- W2142372968 cites W203254536 @default.
- W2142372968 cites W2033755422 @default.
- W2142372968 cites W2035855976 @default.
- W2142372968 cites W2075715157 @default.
- W2142372968 cites W2080267935 @default.
- W2142372968 cites W2085891301 @default.
- W2142372968 cites W2092610272 @default.
- W2142372968 cites W2123396057 @default.
- W2142372968 cites W2135432705 @default.
- W2142372968 cites W2611147814 @default.
- W2142372968 cites W61564718 @default.
- W2142372968 cites W65937437 @default.
- W2142372968 doi "https://doi.org/10.1109/cmpcon.1991.128838" @default.
- W2142372968 hasPublicationYear "2002" @default.
- W2142372968 type Work @default.
- W2142372968 sameAs 2142372968 @default.
- W2142372968 citedByCount "13" @default.
- W2142372968 countsByYear W21423729682016 @default.
- W2142372968 crossrefType "proceedings-article" @default.
- W2142372968 hasAuthorship W2142372968A5035808622 @default.
- W2142372968 hasConcept C126255220 @default.
- W2142372968 hasConcept C128838566 @default.
- W2142372968 hasConcept C136197465 @default.
- W2142372968 hasConcept C137631369 @default.
- W2142372968 hasConcept C154945302 @default.
- W2142372968 hasConcept C173404611 @default.
- W2142372968 hasConcept C176181172 @default.
- W2142372968 hasConcept C176783269 @default.
- W2142372968 hasConcept C199360897 @default.
- W2142372968 hasConcept C204306468 @default.
- W2142372968 hasConcept C2524010 @default.
- W2142372968 hasConcept C2776036281 @default.
- W2142372968 hasConcept C2777212361 @default.
- W2142372968 hasConcept C33923547 @default.
- W2142372968 hasConcept C41008148 @default.
- W2142372968 hasConcept C44616089 @default.
- W2142372968 hasConcept C45374587 @default.
- W2142372968 hasConcept C49937458 @default.
- W2142372968 hasConcept C80444323 @default.
- W2142372968 hasConceptScore W2142372968C126255220 @default.
- W2142372968 hasConceptScore W2142372968C128838566 @default.
- W2142372968 hasConceptScore W2142372968C136197465 @default.
- W2142372968 hasConceptScore W2142372968C137631369 @default.
- W2142372968 hasConceptScore W2142372968C154945302 @default.
- W2142372968 hasConceptScore W2142372968C173404611 @default.
- W2142372968 hasConceptScore W2142372968C176181172 @default.
- W2142372968 hasConceptScore W2142372968C176783269 @default.
- W2142372968 hasConceptScore W2142372968C199360897 @default.
- W2142372968 hasConceptScore W2142372968C204306468 @default.
- W2142372968 hasConceptScore W2142372968C2524010 @default.
- W2142372968 hasConceptScore W2142372968C2776036281 @default.
- W2142372968 hasConceptScore W2142372968C2777212361 @default.
- W2142372968 hasConceptScore W2142372968C33923547 @default.
- W2142372968 hasConceptScore W2142372968C41008148 @default.
- W2142372968 hasConceptScore W2142372968C44616089 @default.
- W2142372968 hasConceptScore W2142372968C45374587 @default.
- W2142372968 hasConceptScore W2142372968C49937458 @default.
- W2142372968 hasConceptScore W2142372968C80444323 @default.
- W2142372968 hasLocation W21423729681 @default.
- W2142372968 hasOpenAccess W2142372968 @default.
- W2142372968 hasPrimaryLocation W21423729681 @default.
- W2142372968 hasRelatedWork W11108911 @default.
- W2142372968 hasRelatedWork W1482254825 @default.
- W2142372968 hasRelatedWork W1498724794 @default.
- W2142372968 hasRelatedWork W1552285502 @default.
- W2142372968 hasRelatedWork W1555844260 @default.
- W2142372968 hasRelatedWork W1604489972 @default.
- W2142372968 hasRelatedWork W1605300628 @default.
- W2142372968 hasRelatedWork W1605427025 @default.
- W2142372968 hasRelatedWork W1931458304 @default.
- W2142372968 hasRelatedWork W2007301302 @default.
- W2142372968 hasRelatedWork W2014205104 @default.
- W2142372968 hasRelatedWork W2020731817 @default.
- W2142372968 hasRelatedWork W2120246395 @default.
- W2142372968 hasRelatedWork W2123396057 @default.
- W2142372968 hasRelatedWork W2125811894 @default.
- W2142372968 hasRelatedWork W2130430551 @default.
- W2142372968 hasRelatedWork W2138204654 @default.