Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951205222> ?p ?o ?g. }
- W2951205222 abstract "We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ASP. We show how constraints on finite domains can be decomposed into logic programs such that unit-propagation achieves arc, bound or range consistency. Experiments with our encodings demonstrate their computational impact." @default.
- W2951205222 created "2019-06-27" @default.
- W2951205222 creator A5018242600 @default.
- W2951205222 creator A5072902302 @default.
- W2951205222 date "2010-07-23" @default.
- W2951205222 modified "2023-09-27" @default.
- W2951205222 title "A Translational Approach to Constraint Answer Set Solving" @default.
- W2951205222 cites W145815032 @default.
- W2951205222 cites W1498722751 @default.
- W2951205222 cites W1502527706 @default.
- W2951205222 cites W1504010403 @default.
- W2951205222 cites W1511336005 @default.
- W2951205222 cites W1519044014 @default.
- W2951205222 cites W1550020009 @default.
- W2951205222 cites W1550483759 @default.
- W2951205222 cites W1569435728 @default.
- W2951205222 cites W1572712485 @default.
- W2951205222 cites W1578792929 @default.
- W2951205222 cites W1602018908 @default.
- W2951205222 cites W1606891084 @default.
- W2951205222 cites W1672891595 @default.
- W2951205222 cites W1946570941 @default.
- W2951205222 cites W2011124182 @default.
- W2951205222 cites W2022846948 @default.
- W2951205222 cites W204808196 @default.
- W2951205222 cites W2054623824 @default.
- W2951205222 cites W2063727779 @default.
- W2951205222 cites W2096621306 @default.
- W2951205222 cites W2116137060 @default.
- W2951205222 cites W2118406528 @default.
- W2951205222 cites W2119055724 @default.
- W2951205222 cites W2152131859 @default.
- W2951205222 cites W2337098149 @default.
- W2951205222 cites W47957325 @default.
- W2951205222 cites W96215098 @default.
- W2951205222 hasPublicationYear "2010" @default.
- W2951205222 type Work @default.
- W2951205222 sameAs 2951205222 @default.
- W2951205222 citedByCount "2" @default.
- W2951205222 countsByYear W29512052222012 @default.
- W2951205222 crossrefType "posted-content" @default.
- W2951205222 hasAuthorship W2951205222A5018242600 @default.
- W2951205222 hasAuthorship W2951205222A5072902302 @default.
- W2951205222 hasConcept C11413529 @default.
- W2951205222 hasConcept C126255220 @default.
- W2951205222 hasConcept C128838566 @default.
- W2951205222 hasConcept C137105694 @default.
- W2951205222 hasConcept C137631369 @default.
- W2951205222 hasConcept C154945302 @default.
- W2951205222 hasConcept C159985019 @default.
- W2951205222 hasConcept C173404611 @default.
- W2951205222 hasConcept C176783269 @default.
- W2951205222 hasConcept C177264268 @default.
- W2951205222 hasConcept C182620335 @default.
- W2951205222 hasConcept C192562407 @default.
- W2951205222 hasConcept C199360897 @default.
- W2951205222 hasConcept C199622910 @default.
- W2951205222 hasConcept C204306468 @default.
- W2951205222 hasConcept C204323151 @default.
- W2951205222 hasConcept C2524010 @default.
- W2951205222 hasConcept C2776036281 @default.
- W2951205222 hasConcept C2776436953 @default.
- W2951205222 hasConcept C33923547 @default.
- W2951205222 hasConcept C41008148 @default.
- W2951205222 hasConcept C44616089 @default.
- W2951205222 hasConcept C49937458 @default.
- W2951205222 hasConcept C80444323 @default.
- W2951205222 hasConceptScore W2951205222C11413529 @default.
- W2951205222 hasConceptScore W2951205222C126255220 @default.
- W2951205222 hasConceptScore W2951205222C128838566 @default.
- W2951205222 hasConceptScore W2951205222C137105694 @default.
- W2951205222 hasConceptScore W2951205222C137631369 @default.
- W2951205222 hasConceptScore W2951205222C154945302 @default.
- W2951205222 hasConceptScore W2951205222C159985019 @default.
- W2951205222 hasConceptScore W2951205222C173404611 @default.
- W2951205222 hasConceptScore W2951205222C176783269 @default.
- W2951205222 hasConceptScore W2951205222C177264268 @default.
- W2951205222 hasConceptScore W2951205222C182620335 @default.
- W2951205222 hasConceptScore W2951205222C192562407 @default.
- W2951205222 hasConceptScore W2951205222C199360897 @default.
- W2951205222 hasConceptScore W2951205222C199622910 @default.
- W2951205222 hasConceptScore W2951205222C204306468 @default.
- W2951205222 hasConceptScore W2951205222C204323151 @default.
- W2951205222 hasConceptScore W2951205222C2524010 @default.
- W2951205222 hasConceptScore W2951205222C2776036281 @default.
- W2951205222 hasConceptScore W2951205222C2776436953 @default.
- W2951205222 hasConceptScore W2951205222C33923547 @default.
- W2951205222 hasConceptScore W2951205222C41008148 @default.
- W2951205222 hasConceptScore W2951205222C44616089 @default.
- W2951205222 hasConceptScore W2951205222C49937458 @default.
- W2951205222 hasConceptScore W2951205222C80444323 @default.
- W2951205222 hasLocation W29512052221 @default.
- W2951205222 hasOpenAccess W2951205222 @default.
- W2951205222 hasPrimaryLocation W29512052221 @default.
- W2951205222 hasRelatedWork W1511027747 @default.
- W2951205222 hasRelatedWork W1532176371 @default.
- W2951205222 hasRelatedWork W1567338500 @default.
- W2951205222 hasRelatedWork W1569435728 @default.
- W2951205222 hasRelatedWork W1589283903 @default.
- W2951205222 hasRelatedWork W1592324616 @default.