Explicit Versus Symbolic Algorithms for Solving ALFP Constraints.
Piotr FilipiukHanne Riis NielsonFlemming NielsonPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- learning algorithm
- computational cost
- optimization problems
- computationally efficient
- constrained problems
- combinatorial optimization
- worst case
- orders of magnitude
- computational complexity
- machine learning algorithms
- neural network
- data mining algorithms
- constraint satisfaction
- constraint solver
- data structure
- finite domain
- np complete problems
- sat encodings
- distributed constraint optimization problems