About: Constraint programming

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Property	Value
dbo:wikiPageID	22968506 (xsd:integer)
dbo:wikiPageRevisionID	876209427 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Constraint programming (en)
owl:sameAs	dbpedia-commons:Constraint programming
skos:broader	dbc:Declarative_programming dbc:Logic_programming
skos:prefLabel	Constraint programming (en)
prov:wasDerivedFrom	wikipedia-en:Category:Constraint_programming?oldid=876209427&ns=14
is dbo:wikiPageWikiLink of	dbr:Minion_(solver) dbr:Nurse_scheduling_problem dbr:Barrier_function dbr:Algorithm_selection dbr:Allen's_interval_algebra dbr:Hybrid_algorithm_(constraint_satisfaction) dbr:DPLL(T) dbr:DPLL_algorithm dbr:Davis–Putnam_algorithm dbr:Decomposition_method_(constraint_satisfaction) dbr:Interchangeability_algorithm dbr:Reasoning_system dbr:SWI-Prolog dbr:Gecode dbr:Geometric_constraint_solving dbr:Narrowing_of_algebraic_value_sets dbr:Schaefer's_dichotomy_theorem dbr:GNU_Prolog dbr:Consensus_dynamics dbr:Constrained_optimization dbr:Constraint_(mathematics) dbr:Constraint_composite_graph dbr:Constraint_graph dbr:Constraint_inference dbr:Constraint_learning dbr:Constraint_logic_programming dbr:Constraint_programming dbr:Constraint_satisfaction dbr:Constraint_satisfaction_dual_problem dbr:Constraint_satisfaction_problem dbr:Ordered_graph dbr:Basis_pursuit dbr:Complexity_of_constraint_satisfaction dbr:Max/min_CSP/Ones_classification_theorems dbr:Distributed_constraint_optimization dbr:Local_consistency dbr:Local_search_(constraint_satisfaction) dbr:Min-conflicts_algorithm dbr:Difference-map_algorithm dbr:Kaleidoscope_(programming_language) dbr:Region_connection_calculus dbr:Intertemporal_budget_constraint dbr:BNR_Prolog dbr:Backjumping dbr:Backmarking dbr:AC-3_algorithm dbr:Binary_constraint dbr:Hidden_transformation dbr:Hierarchical_constraint_satisfaction dbr:JaCoP_(solver) dbr:CLP(R) dbr:ILOG dbr:Cassowary_(software) dbr:Chaff_algorithm dbr:Look-ahead_(backtracking) dbr:Satisfiability_modulo_theories dbr:Regular_constraint dbr:Symmetry-breaking_constraints dbr:Test_functions_for_optimization dbr:Weighted_constraint_satisfaction_problem dbr:WalkSAT dbr:Traveling_tournament_problem
is dct:subject of	dbr:Minion_(solver) dbr:Nurse_scheduling_problem dbr:Barrier_function dbr:Algorithm_selection dbr:Allen's_interval_algebra dbr:Hybrid_algorithm_(constraint_satisfaction) dbr:DPLL(T) dbr:DPLL_algorithm dbr:Davis–Putnam_algorithm dbr:Decomposition_method_(constraint_satisfaction) dbr:Interchangeability_algorithm dbr:Reasoning_system dbr:SWI-Prolog dbr:Gecode dbr:Geometric_constraint_solving dbr:Narrowing_of_algebraic_value_sets dbr:Schaefer's_dichotomy_theorem dbr:GNU_Prolog dbr:Consensus_dynamics dbr:Constrained_optimization dbr:Constraint_(mathematics) dbr:Constraint_composite_graph dbr:Constraint_graph dbr:Constraint_inference dbr:Constraint_learning dbr:Constraint_logic_programming dbr:Constraint_programming dbr:Constraint_satisfaction dbr:Constraint_satisfaction_dual_problem dbr:Constraint_satisfaction_problem dbr:Ordered_graph dbr:Basis_pursuit dbr:Complexity_of_constraint_satisfaction dbr:Max/min_CSP/Ones_classification_theorems dbr:Distributed_constraint_optimization dbr:Local_consistency dbr:Local_search_(constraint_satisfaction) dbr:Min-conflicts_algorithm dbr:Difference-map_algorithm dbr:Kaleidoscope_(programming_language) dbr:Region_connection_calculus dbr:Intertemporal_budget_constraint dbr:BNR_Prolog dbr:Backjumping dbr:Backmarking dbr:AC-3_algorithm dbr:Binary_constraint dbr:Hidden_transformation dbr:Hierarchical_constraint_satisfaction dbr:JaCoP_(solver) dbr:CLP(R) dbr:ILOG dbr:Cassowary_(software) dbr:Chaff_algorithm dbr:Look-ahead_(backtracking) dbr:Satisfiability_modulo_theories dbr:Regular_constraint dbr:Symmetry-breaking_constraints dbr:Test_functions_for_optimization dbr:Weighted_constraint_satisfaction_problem dbr:WalkSAT dbr:Traveling_tournament_problem
is skos:broader of	dbc:Constraint_programming_languages dbc:Constraint_logic_programming