- Colouring, constraint satisfaction, and complexity
2008/10/22 by Pavol Hell, Jaroslav Nešetřil · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Artificial intelligence #Class (philosophy) #Complexity and Algorithms in Graphs #Complexity of constraint satisfaction #Computer science #Conjecture #Constraint (computer-aided design) #Constraint graph #Constraint programming #Constraint satisfaction #Constraint satisfaction dual problem #Constraint satisfaction problem #Discrete mathematics #Focus (optics) #Graph #Graph Labeling and Dimension Problems #Homomorphism #Local consistency #Mathematical optimization #Mathematics #Theoretical computer science
- A sufficient condition for backtrack-bounded search
1985/10/01 by Eugene C. Freuder · 1 citation
Computer Science · Mathematics · #Constraint Satisfaction and Optimization #Data Management and Algorithms #AI-based Problem Solving and Planning #Backtracking #Constraint satisfaction problem #Constraint satisfaction #Constraint graph #Computer science #Constraint learning #Bounded function #Constraint (computer-aided design) #Graph #Upper and lower bounds #Branch and bound #Mathematics #Mathematical optimization #Search tree #Local consistency #Theoretical computer science #Search algorithm #Artificial intelligence