Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming.
Jan C. DagefördeFinn TeegenPublished in: CoRR (2019)
Keyphrases
- object oriented programming
- search tree
- object oriented
- programming language
- search algorithm
- key concepts
- programming concepts
- search space
- branching factor
- branch and bound algorithm
- object oriented languages
- exception handling
- data structure
- binary search trees
- functional programming
- symmetry breaking
- tree structure
- b tree
- sat solvers
- global constraints
- general purpose
- root node
- game tree
- branch and bound
- high dimensional
- training set
- database systems