Constraint Satisfaction Problem
479
浏览
0
关注

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 Variable (mathematics)|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 unrelated families. Complexity of constraint satisfaction|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...
[展开]
主要的会议/期刊
演化趋势
Chart will load here
Constraint Satisfaction Problem文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜