http://dbpedia.org/page/Category:Constraint_satisfaction

Property	Value
rdf:type	skos:Concept
rdfs:label	Constraint satisfaction (en)
skos:broader	dbpedia:Category:Algorithms dbpedia:Category:Artificial_intelligence dbpedia:Category:Operations_research
skos:prefLabel	Constraint satisfaction (en)
skos:subject	dbpedia:AC-3_algorithm dbpedia:Allen%27s_Interval_Algebra dbpedia:Backjumping dbpedia:Backmarking dbpedia:CHIP_%28programming_language%29 dbpedia:Cassowary_constraint_solver dbpedia:Chaff_algorithm dbpedia:Complexity_of_constraint_satisfaction dbpedia:Constraint_Handling_Rules dbpedia:Constraint_inference dbpedia:Constraint_satisfaction_dual_problem dbpedia:Concurrent_constraint_logic_programming dbpedia:Constraint_learning dbpedia:Constraint_optimization dbpedia:Constraint_satisfaction dbpedia:Constraint_logic_programming dbpedia:Constraint_programming dbpedia:Constraint_satisfaction_problem dbpedia:DPLL_algorithm dbpedia:Davis%E2%80%93Putnam_algorithm dbpedia:Decomposition_method dbpedia:Difference_map_algorithm dbpedia:DisCSP dbpedia:Distributed_constraint_optimization dbpedia:ECLiPSe dbpedia:GNU_Prolog dbpedia:Hidden_transformation dbpedia:Hybrid_algorithm_%28constraint_satisfaction%29 dbpedia:Kaleidoscope_%28programming_language%29 dbpedia:Local_consistency dbpedia:Local_search_%28constraint_satisfaction%29 dbpedia:Look-ahead_%28backtracking%29 dbpedia:Min-conflicts_algorithm dbpedia:Minion_%28solver%29 dbpedia:Nurse_scheduling_problem dbpedia:Ordered_graph dbpedia:Primal_graph dbpedia:Region_Connection_Calculus dbpedia:Spatial-temporal_reasoning dbpedia:WalkSAT

Constraint satisfaction