Structured Traversal of Search Trees in Constraint-Logic Object-Oriented Programming.
Jan C. DagefördeFinn TeegenPublished in: DECLARE (2019)
Keyphrases
- object oriented programming
- search tree
- object oriented
- search algorithm
- programming language
- key concepts
- programming concepts
- search space
- exception handling
- branch and bound algorithm
- branching factor
- functional programming
- object oriented languages
- b tree
- binary search trees
- symmetry breaking
- tree structure
- general purpose
- data structure
- root node
- objective function
- databases
- sat solvers
- optimization problems
- software engineering