Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Constraint_satisfaction_problem> ?p ?o. }
Showing items 1 to 37 of
37
with 100 items per page.
- Constraint_satisfaction_problem abstract "Constraint satisfaction problems (CSPs) are mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations. CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods. CSPs are the subject of intense research in both artificial intelligence and operations research, since the regularity in their formulation provides a common basis to analyze and solve problems of many unrelated families. CSPs often exhibit high complexity, requiring a combination of heuristics and combinatorial search methods to be solved in a reasonable time. The boolean satisfiability problem (SAT), the Satisfiability Modulo Theories (SMT) and answer set programming (ASP) can be roughly thought of as certain forms of the constraint satisfaction problem.Examples of simple problems that can be modeled as a constraint satisfaction problem Eight queens puzzle Map coloring problem Sudoku, Futoshiki, Kakuro (Cross Sums), Numbrix, Hidato and many other logic puzzles.Examples demonstrating the above are often provided with tutorials of ASP, boolean SAT and SMT solvers. In the general case, constraint problems can be much harder, and may not be expressible in some of these simpler systems."Real life" examples include planning and resource allocation.".
- Constraint_satisfaction_problem wikiPageExternalLink index.jsp.
- Constraint_satisfaction_problem wikiPageExternalLink tutorial.html.
- Constraint_satisfaction_problem wikiPageExternalLink consmod.pdf.
- Constraint_satisfaction_problem wikiPageExternalLink FCS.html.
- Constraint_satisfaction_problem wikiPageExternalLink benchmarks.html.
- Constraint_satisfaction_problem wikiPageExternalLink Thesis.ppt.
- Constraint_satisfaction_problem wikiPageExternalLink index.html.
- Constraint_satisfaction_problem wikiPageExternalLink index.php?f=a&ACTION=View&id=250.
- Constraint_satisfaction_problem wikiPageExternalLink benchmarks.htm.
- Constraint_satisfaction_problem wikiPageExternalLink tackDiss.html.
- Constraint_satisfaction_problem wikiPageID "211652".
- Constraint_satisfaction_problem wikiPageRevisionID "601401711".
- Constraint_satisfaction_problem hasPhotoCollection Constraint_satisfaction_problem.
- Constraint_satisfaction_problem subject Category:Constraint_programming.
- Constraint_satisfaction_problem comment "Constraint satisfaction problems (CSPs) are mathematical problems defined as a set of objects whose state must satisfy a number of constraints or limitations. CSPs represent the entities in a problem as a homogeneous collection of finite constraints over variables, which is solved by constraint satisfaction methods.".
- Constraint_satisfaction_problem label "Constraint satisfaction problem".
- Constraint_satisfaction_problem label "Constraint-Satisfaction-Problem".
- Constraint_satisfaction_problem label "Problema da satisfação de restrições".
- Constraint_satisfaction_problem label "Problema de satisfacción de restricciones".
- Constraint_satisfaction_problem label "Problema di soddisfacimento di vincoli".
- Constraint_satisfaction_problem label "Problème de satisfaction de contraintes".
- Constraint_satisfaction_problem label "Удовлетворение ограничений".
- Constraint_satisfaction_problem label "制約充足問題".
- Constraint_satisfaction_problem label "约束补偿问题".
- Constraint_satisfaction_problem sameAs Constraint-Satisfaction-Problem.
- Constraint_satisfaction_problem sameAs Problema_de_satisfacción_de_restricciones.
- Constraint_satisfaction_problem sameAs Problème_de_satisfaction_de_contraintes.
- Constraint_satisfaction_problem sameAs Problema_di_soddisfacimento_di_vincoli.
- Constraint_satisfaction_problem sameAs 制約充足問題.
- Constraint_satisfaction_problem sameAs 제약_충족_문제.
- Constraint_satisfaction_problem sameAs Problema_da_satisfação_de_restrições.
- Constraint_satisfaction_problem sameAs m.01f0mv.
- Constraint_satisfaction_problem sameAs Q1128326.
- Constraint_satisfaction_problem sameAs Q1128326.
- Constraint_satisfaction_problem wasDerivedFrom Constraint_satisfaction_problem?oldid=601401711.
- Constraint_satisfaction_problem isPrimaryTopicOf Constraint_satisfaction_problem.