Matches in SemOpenAlex for { <https://semopenalex.org/work/W1573918631> ?p ?o ?g. }
- W1573918631 endingPage "2601" @default.
- W1573918631 startingPage "2596" @default.
- W1573918631 abstract "We solve constraint satisfaction problems through translation to answer set programming (ASP). Our reformulations have the property that unit-propagation in the ASP solver achieves well defined local consistency properties like arc, bound and range consistency. Experiments demonstrate the computational value of this approach." @default.
- W1573918631 created "2016-06-24" @default.
- W1573918631 creator A5018242600 @default.
- W1573918631 creator A5072902302 @default.
- W1573918631 date "2011-07-16" @default.
- W1573918631 modified "2023-09-27" @default.
- W1573918631 title "Translation-based constraint answer set solving" @default.
- W1573918631 cites W1519044014 @default.
- W1573918631 cites W1550020009 @default.
- W1573918631 cites W1550483759 @default.
- W1573918631 cites W1569435728 @default.
- W1573918631 cites W1572712485 @default.
- W1573918631 cites W1601754975 @default.
- W1573918631 cites W1606891084 @default.
- W1573918631 cites W1672891595 @default.
- W1573918631 cites W1858694994 @default.
- W1573918631 cites W1946570941 @default.
- W1573918631 cites W1986964870 @default.
- W1573918631 cites W2011124182 @default.
- W1573918631 cites W2022846948 @default.
- W1573918631 cites W2054623824 @default.
- W1573918631 cites W2059035667 @default.
- W1573918631 cites W2096621306 @default.
- W1573918631 cites W2118406528 @default.
- W1573918631 cites W2132878464 @default.
- W1573918631 cites W2152131859 @default.
- W1573918631 cites W22657303 @default.
- W1573918631 cites W2949900368 @default.
- W1573918631 cites W3202619697 @default.
- W1573918631 cites W91024833 @default.
- W1573918631 doi "https://doi.org/10.5591/978-1-57735-516-8/ijcai11-432" @default.
- W1573918631 hasPublicationYear "2011" @default.
- W1573918631 type Work @default.
- W1573918631 sameAs 1573918631 @default.
- W1573918631 citedByCount "5" @default.
- W1573918631 countsByYear W15739186312014 @default.
- W1573918631 countsByYear W15739186312018 @default.
- W1573918631 countsByYear W15739186312019 @default.
- W1573918631 countsByYear W15739186312021 @default.
- W1573918631 crossrefType "proceedings-article" @default.
- W1573918631 hasAuthorship W1573918631A5018242600 @default.
- W1573918631 hasAuthorship W1573918631A5072902302 @default.
- W1573918631 hasConcept C104317684 @default.
- W1573918631 hasConcept C105580179 @default.
- W1573918631 hasConcept C111472728 @default.
- W1573918631 hasConcept C11413529 @default.
- W1573918631 hasConcept C126255220 @default.
- W1573918631 hasConcept C137105694 @default.
- W1573918631 hasConcept C137631369 @default.
- W1573918631 hasConcept C138885662 @default.
- W1573918631 hasConcept C149364088 @default.
- W1573918631 hasConcept C154945302 @default.
- W1573918631 hasConcept C159985019 @default.
- W1573918631 hasConcept C173404611 @default.
- W1573918631 hasConcept C176783269 @default.
- W1573918631 hasConcept C177264268 @default.
- W1573918631 hasConcept C182620335 @default.
- W1573918631 hasConcept C185592680 @default.
- W1573918631 hasConcept C189950617 @default.
- W1573918631 hasConcept C192562407 @default.
- W1573918631 hasConcept C199360897 @default.
- W1573918631 hasConcept C199622910 @default.
- W1573918631 hasConcept C204323151 @default.
- W1573918631 hasConcept C2524010 @default.
- W1573918631 hasConcept C2776036281 @default.
- W1573918631 hasConcept C2776436953 @default.
- W1573918631 hasConcept C2778770139 @default.
- W1573918631 hasConcept C33923547 @default.
- W1573918631 hasConcept C41008148 @default.
- W1573918631 hasConcept C44616089 @default.
- W1573918631 hasConcept C49937458 @default.
- W1573918631 hasConcept C55493867 @default.
- W1573918631 hasConcept C80444323 @default.
- W1573918631 hasConceptScore W1573918631C104317684 @default.
- W1573918631 hasConceptScore W1573918631C105580179 @default.
- W1573918631 hasConceptScore W1573918631C111472728 @default.
- W1573918631 hasConceptScore W1573918631C11413529 @default.
- W1573918631 hasConceptScore W1573918631C126255220 @default.
- W1573918631 hasConceptScore W1573918631C137105694 @default.
- W1573918631 hasConceptScore W1573918631C137631369 @default.
- W1573918631 hasConceptScore W1573918631C138885662 @default.
- W1573918631 hasConceptScore W1573918631C149364088 @default.
- W1573918631 hasConceptScore W1573918631C154945302 @default.
- W1573918631 hasConceptScore W1573918631C159985019 @default.
- W1573918631 hasConceptScore W1573918631C173404611 @default.
- W1573918631 hasConceptScore W1573918631C176783269 @default.
- W1573918631 hasConceptScore W1573918631C177264268 @default.
- W1573918631 hasConceptScore W1573918631C182620335 @default.
- W1573918631 hasConceptScore W1573918631C185592680 @default.
- W1573918631 hasConceptScore W1573918631C189950617 @default.
- W1573918631 hasConceptScore W1573918631C192562407 @default.
- W1573918631 hasConceptScore W1573918631C199360897 @default.
- W1573918631 hasConceptScore W1573918631C199622910 @default.
- W1573918631 hasConceptScore W1573918631C204323151 @default.
- W1573918631 hasConceptScore W1573918631C2524010 @default.
- W1573918631 hasConceptScore W1573918631C2776036281 @default.
- W1573918631 hasConceptScore W1573918631C2776436953 @default.
- W1573918631 hasConceptScore W1573918631C2778770139 @default.