Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Constraint_satisfaction_problem> ?p ?o }
- 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 seemingly 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 automated planning and resource allocation.".
- Constraint_satisfaction_problem wikiPageExternalLink FCS.html.
- Constraint_satisfaction_problem wikiPageExternalLink index.html.
- Constraint_satisfaction_problem wikiPageExternalLink index.php?f=a&ACTION=View&id=250.
- Constraint_satisfaction_problem wikiPageExternalLink index.jsp.
- Constraint_satisfaction_problem wikiPageExternalLink tutorial.html.
- Constraint_satisfaction_problem wikiPageExternalLink consmod.pdf.
- Constraint_satisfaction_problem wikiPageExternalLink benchmarks.html.
- Constraint_satisfaction_problem wikiPageExternalLink benchmarks.htm.
- Constraint_satisfaction_problem wikiPageExternalLink tackDiss.html.
- Constraint_satisfaction_problem wikiPageID "211652".
- Constraint_satisfaction_problem wikiPageLength "16072".
- Constraint_satisfaction_problem wikiPageOutDegree "73".
- Constraint_satisfaction_problem wikiPageRevisionID "683757434".
- Constraint_satisfaction_problem wikiPageWikiLink AC-3_algorithm.
- Constraint_satisfaction_problem wikiPageWikiLink Answer_set_programming.
- Constraint_satisfaction_problem wikiPageWikiLink Arc_consistency.
- Constraint_satisfaction_problem wikiPageWikiLink Artificial_intelligence.
- Constraint_satisfaction_problem wikiPageWikiLink Automated_planning.
- Constraint_satisfaction_problem wikiPageWikiLink Automated_planning_and_scheduling.
- Constraint_satisfaction_problem wikiPageWikiLink Backjumping.
- Constraint_satisfaction_problem wikiPageWikiLink Backmarking.
- Constraint_satisfaction_problem wikiPageWikiLink Backtracking.
- Constraint_satisfaction_problem wikiPageWikiLink Binary_relation.
- Constraint_satisfaction_problem wikiPageWikiLink Boolean_algebra.
- Constraint_satisfaction_problem wikiPageWikiLink Boolean_logic.
- Constraint_satisfaction_problem wikiPageWikiLink Boolean_operators.
- Constraint_satisfaction_problem wikiPageWikiLink Boolean_satisfiability_problem.
- Constraint_satisfaction_problem wikiPageWikiLink Category:Constraint_programming.
- Constraint_satisfaction_problem wikiPageWikiLink Combinatorial_search.
- Constraint_satisfaction_problem wikiPageWikiLink Complexity_of_constraint_satisfaction.
- Constraint_satisfaction_problem wikiPageWikiLink Computational_complexity_theory.
- Constraint_satisfaction_problem wikiPageWikiLink Conjunctive_query.
- Constraint_satisfaction_problem wikiPageWikiLink Constraint_(mathematics).
- Constraint_satisfaction_problem wikiPageWikiLink Constraint_learning.
- Constraint_satisfaction_problem wikiPageWikiLink Constraint_programming.
- Constraint_satisfaction_problem wikiPageWikiLink Constraint_propagation.
- Constraint_satisfaction_problem wikiPageWikiLink Constraint_satisfaction.
- Constraint_satisfaction_problem wikiPageWikiLink DCSP.
- Constraint_satisfaction_problem wikiPageWikiLink Declarative_programming.
- Constraint_satisfaction_problem wikiPageWikiLink Dichotomy.
- Constraint_satisfaction_problem wikiPageWikiLink DisCSP.
- Constraint_satisfaction_problem wikiPageWikiLink Distributed_constraint_optimization.
- Constraint_satisfaction_problem wikiPageWikiLink Eight_queens_puzzle.
- Constraint_satisfaction_problem wikiPageWikiLink FP_(complexity).
- Constraint_satisfaction_problem wikiPageWikiLink Finite_model_theory.
- Constraint_satisfaction_problem wikiPageWikiLink Futoshiki.
- Constraint_satisfaction_problem wikiPageWikiLink Fuzzy_logic.
- Constraint_satisfaction_problem wikiPageWikiLink Graph_coloring.
- Constraint_satisfaction_problem wikiPageWikiLink Heuristic.
- Constraint_satisfaction_problem wikiPageWikiLink Heuristics.
- Constraint_satisfaction_problem wikiPageWikiLink Hidato.
- Constraint_satisfaction_problem wikiPageWikiLink Hybrid_algorithm_(constraint_satisfaction).
- Constraint_satisfaction_problem wikiPageWikiLink Hyper-arc_consistency.
- Constraint_satisfaction_problem wikiPageWikiLink Hypergraph.
- Constraint_satisfaction_problem wikiPageWikiLink Kakuro.
- Constraint_satisfaction_problem wikiPageWikiLink Ladners_theorem.
- Constraint_satisfaction_problem wikiPageWikiLink Limit_(mathematics).
- Constraint_satisfaction_problem wikiPageWikiLink Local_consistency.
- Constraint_satisfaction_problem wikiPageWikiLink Local_search_(optimization).
- Constraint_satisfaction_problem wikiPageWikiLink Logic_puzzle.
- Constraint_satisfaction_problem wikiPageWikiLink Logical_connective.
- Constraint_satisfaction_problem wikiPageWikiLink Look-ahead_(backtracking).
- Constraint_satisfaction_problem wikiPageWikiLink Min-conflicts_algorithm.
- Constraint_satisfaction_problem wikiPageWikiLink NP-complete.
- Constraint_satisfaction_problem wikiPageWikiLink NP-completeness.
- Constraint_satisfaction_problem wikiPageWikiLink NP-intermediate.
- Constraint_satisfaction_problem wikiPageWikiLink NP_(complexity).
- Constraint_satisfaction_problem wikiPageWikiLink Numbrix.
- Constraint_satisfaction_problem wikiPageWikiLink Operations_research.
- Constraint_satisfaction_problem wikiPageWikiLink P_(complexity).
- Constraint_satisfaction_problem wikiPageWikiLink P_versus_NP_problem.
- Constraint_satisfaction_problem wikiPageWikiLink Path_consistency.
- Constraint_satisfaction_problem wikiPageWikiLink Preference-based_planning.
- Constraint_satisfaction_problem wikiPageWikiLink Quadratic_equation.
- Constraint_satisfaction_problem wikiPageWikiLink Recursion.
- Constraint_satisfaction_problem wikiPageWikiLink Relation_(mathematics).
- Constraint_satisfaction_problem wikiPageWikiLink Resource_allocation.
- Constraint_satisfaction_problem wikiPageWikiLink Satisfiability_modulo_theories.
- Constraint_satisfaction_problem wikiPageWikiLink Schaefers_dichotomy_theorem.
- Constraint_satisfaction_problem wikiPageWikiLink Search_algorithm.
- Constraint_satisfaction_problem wikiPageWikiLink Sharp-P.
- Constraint_satisfaction_problem wikiPageWikiLink Sharp-P-complete.
- Constraint_satisfaction_problem wikiPageWikiLink Sudoku.
- Constraint_satisfaction_problem wikiPageWikiLink Treewidth.
- Constraint_satisfaction_problem wikiPageWikiLink Unique_games_conjecture.
- Constraint_satisfaction_problem wikiPageWikiLink Variable_(mathematics).
- Constraint_satisfaction_problem wikiPageWikiLink Weighted_constraint_satisfaction_problem.
- Constraint_satisfaction_problem wikiPageWikiLinkText "CSP solvers".
- Constraint_satisfaction_problem wikiPageWikiLinkText "CSP".
- Constraint_satisfaction_problem wikiPageWikiLinkText "Constraint satisfaction problem ".
- Constraint_satisfaction_problem wikiPageWikiLinkText "Constraint satisfaction problem".
- Constraint_satisfaction_problem wikiPageWikiLinkText "Constraint_satisfaction_problem".
- Constraint_satisfaction_problem wikiPageWikiLinkText "Constraint_satisfaction_problem#Flexible_CSPs".
- Constraint_satisfaction_problem wikiPageWikiLinkText "Constraints Satisfaction Problems".
- Constraint_satisfaction_problem wikiPageWikiLinkText "Not-All-Equal Satisfiability problem".
- Constraint_satisfaction_problem wikiPageWikiLinkText "constraint satisfaction problem".
- Constraint_satisfaction_problem wikiPageWikiLinkText "constraint satisfaction".
- Constraint_satisfaction_problem wikiPageWikiLinkText "constraints".
- Constraint_satisfaction_problem wikiPageWikiLinkText "feasibility".