Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
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
dcterms:
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License