Learning variable ordering heuristics for solving Constraint Satisfaction Problems
Wen Song, Zhiguang Cao, Jie Zhang, Chi Xu, Andrew Lim
Topics & Concepts
BacktrackingComputer scienceHeuristicsConstraint satisfaction problemConstraint satisfactionSearch treeConstraint learningArtificial intelligenceMathematical optimizationVariable (mathematics)Machine learningTheoretical computer scienceSearch algorithmLocal consistencyAlgorithmMathematicsMathematical analysisOperating systemProbabilistic logicConstraint Satisfaction and OptimizationAI-based Problem Solving and PlanningScheduling and Timetabling Solutions