Matches in SemOpenAlex for { <https://semopenalex.org/work/W165517477> ?p ?o ?g. }
- W165517477 endingPage "354" @default.
- W165517477 startingPage "331" @default.
- W165517477 abstract "Many applications in AI involve searching over a very large possibility space. Constraint satisfaction is a general problem-solving paradigm that expresses some of these search problems in a natural way.The constraint-satisfaction paradigm consists of defining a problem in terms of variables that need to be assigned suitable values. Certain subsets of these variables are then constrained by restricting the simultaneous values they may be assigned.In general, the constraint-satisfaction problem is NP-hard but there are well-known restrictions to the hypergraph of constraint interactions (structure) or to the allowable relations of constraint restrictions (language) that make the problem tractable (solvable in polynomial time). The trade-off here is expressiveness for tractability.In this chapter, we introduce the constraint-satisfaction paradigm and briefly describe expressiveness and tractability. We then introduce an algebraic framework for describing language-based tractability and discuss some of the known results. Lastly, we derive a general technique for developing new, more expressive, tractable constraint languages from existing examples." @default.
- W165517477 created "2016-06-24" @default.
- W165517477 creator A5037567015 @default.
- W165517477 creator A5068419408 @default.
- W165517477 creator A5078546829 @default.
- W165517477 date "2003-01-01" @default.
- W165517477 modified "2023-09-27" @default.
- W165517477 title "New tractable constraint classes from old" @default.
- W165517477 cites W1516265808 @default.
- W165517477 cites W1549495856 @default.
- W165517477 cites W1554962133 @default.
- W165517477 cites W1685626019 @default.
- W165517477 cites W1748315421 @default.
- W165517477 cites W1752701735 @default.
- W165517477 cites W1793685185 @default.
- W165517477 cites W1811185933 @default.
- W165517477 cites W1989168011 @default.
- W165517477 cites W1996011776 @default.
- W165517477 cites W2002478775 @default.
- W165517477 cites W2011039300 @default.
- W165517477 cites W2016639451 @default.
- W165517477 cites W2025319967 @default.
- W165517477 cites W2030985429 @default.
- W165517477 cites W2041737564 @default.
- W165517477 cites W2080192364 @default.
- W165517477 cites W2090310951 @default.
- W165517477 cites W2116407296 @default.
- W165517477 cites W2119456262 @default.
- W165517477 cites W2124726672 @default.
- W165517477 cites W2135432705 @default.
- W165517477 cites W2150339067 @default.
- W165517477 cites W2151096784 @default.
- W165517477 cites W2164680823 @default.
- W165517477 cites W2166566648 @default.
- W165517477 cites W2173530240 @default.
- W165517477 cites W2286575991 @default.
- W165517477 cites W2604266807 @default.
- W165517477 cites W3127823229 @default.
- W165517477 hasPublicationYear "2003" @default.
- W165517477 type Work @default.
- W165517477 sameAs 165517477 @default.
- W165517477 citedByCount "3" @default.
- W165517477 crossrefType "book" @default.
- W165517477 hasAuthorship W165517477A5037567015 @default.
- W165517477 hasAuthorship W165517477A5068419408 @default.
- W165517477 hasAuthorship W165517477A5078546829 @default.
- W165517477 hasConcept C118615104 @default.
- W165517477 hasConcept C126255220 @default.
- W165517477 hasConcept C137105694 @default.
- W165517477 hasConcept C137631369 @default.
- W165517477 hasConcept C154945302 @default.
- W165517477 hasConcept C173404611 @default.
- W165517477 hasConcept C176783269 @default.
- W165517477 hasConcept C178481205 @default.
- W165517477 hasConcept C183046576 @default.
- W165517477 hasConcept C199622910 @default.
- W165517477 hasConcept C2524010 @default.
- W165517477 hasConcept C2776036281 @default.
- W165517477 hasConcept C2781221856 @default.
- W165517477 hasConcept C29230964 @default.
- W165517477 hasConcept C33923547 @default.
- W165517477 hasConcept C41008148 @default.
- W165517477 hasConcept C44616089 @default.
- W165517477 hasConcept C49937458 @default.
- W165517477 hasConcept C79475747 @default.
- W165517477 hasConcept C80444323 @default.
- W165517477 hasConceptScore W165517477C118615104 @default.
- W165517477 hasConceptScore W165517477C126255220 @default.
- W165517477 hasConceptScore W165517477C137105694 @default.
- W165517477 hasConceptScore W165517477C137631369 @default.
- W165517477 hasConceptScore W165517477C154945302 @default.
- W165517477 hasConceptScore W165517477C173404611 @default.
- W165517477 hasConceptScore W165517477C176783269 @default.
- W165517477 hasConceptScore W165517477C178481205 @default.
- W165517477 hasConceptScore W165517477C183046576 @default.
- W165517477 hasConceptScore W165517477C199622910 @default.
- W165517477 hasConceptScore W165517477C2524010 @default.
- W165517477 hasConceptScore W165517477C2776036281 @default.
- W165517477 hasConceptScore W165517477C2781221856 @default.
- W165517477 hasConceptScore W165517477C29230964 @default.
- W165517477 hasConceptScore W165517477C33923547 @default.
- W165517477 hasConceptScore W165517477C41008148 @default.
- W165517477 hasConceptScore W165517477C44616089 @default.
- W165517477 hasConceptScore W165517477C49937458 @default.
- W165517477 hasConceptScore W165517477C79475747 @default.
- W165517477 hasConceptScore W165517477C80444323 @default.
- W165517477 hasLocation W1655174771 @default.
- W165517477 hasOpenAccess W165517477 @default.
- W165517477 hasPrimaryLocation W1655174771 @default.
- W165517477 hasRelatedWork W1480084205 @default.
- W165517477 hasRelatedWork W1558184472 @default.
- W165517477 hasRelatedWork W1564783277 @default.
- W165517477 hasRelatedWork W1596054597 @default.
- W165517477 hasRelatedWork W1750103848 @default.
- W165517477 hasRelatedWork W1768378007 @default.
- W165517477 hasRelatedWork W1949981435 @default.
- W165517477 hasRelatedWork W1972905214 @default.
- W165517477 hasRelatedWork W1995549769 @default.