About: Constraint satisfaction

Property	Value
rdf:type	skos:Concept
rdfs:label	Constraint satisfaction
skos:broader	dbpedia:Category:Artificial_intelligence dbpedia:Category:Algorithms dbpedia:Category:Operations_research
skos:prefLabel	Constraint satisfaction
is skos:subject of	dbpedia:Allen's_Interval_Algebra dbpedia:Constraint_satisfaction_problem dbpedia:Constraint_programming dbpedia:AC-3_algorithm dbpedia:DPLL_algorithm dbpedia:Kaleidoscope_(programming_language) dbpedia:Complexity_of_constraint_satisfaction dbpedia:Concurrent_constraint_logic_programming dbpedia:Constraint_optimization dbpedia:GNU_Prolog dbpedia:Hierarchical_constraint_satisfaction dbpedia:Local_consistency dbpedia:Mixed_Set_Programming dbpedia:CHIP_(programming_language) dbpedia:Chaff_algorithm dbpedia:Constraint_satisfaction dbpedia:Minion_(solver) dbpedia:NCL_(Programming_Language) dbpedia:NCL_(programming_language) dbpedia:Backjumping dbpedia:Backmarking dbpedia:Constraint_graph dbpedia:Constraint_inference dbpedia:Constraint_logic_programming dbpedia:Decomposition_method_(constraint_satisfaction) dbpedia:DisCSP dbpedia:Hidden_transformation dbpedia:Horizontal_constraint_graph dbpedia:JaCoP_(solver) dbpedia:Look-ahead_(backtracking) dbpedia:Min-conflicts_algorithm dbpedia:Nurse_scheduling_problem dbpedia:Davis–Putnam_algorithm dbpedia:Beaver_bit-vector_decision_procedure dbpedia:Cassowary_constraint_solver dbpedia:ECLiPSe dbpedia:Constraint_Composite_Graph dbpedia:Constraint_Handling_Rules dbpedia:Constraint_learning dbpedia:Constraint_satisfaction_dual_problem dbpedia:Difference_map_algorithm dbpedia:Distributed_constraint_optimization dbpedia:Hybrid_algorithm_(constraint_satisfaction) dbpedia:Local_search_(constraint_satisfaction) dbpedia:Natural_Constraint_Language dbpedia:Ordered_graph dbpedia:SWI-Prolog dbpedia:Region_Connection_Calculus dbpedia:Vertical_constraint_graph dbpedia:WalkSAT dbpedia:Schaefer's_dichotomy_theorem dbpedia:Spatial-temporal_reasoning