Keyphrases
- non binary
- binary tree
- decision trees
- binary trees
- boolean functions
- sat solving
- tree structure
- tree structures
- tree representation
- encoding schemes
- constraint satisfaction problems
- orders of magnitude
- newly defined
- tree models
- linear constraints
- tree construction
- knowledge compilation
- soft constraints
- sat encodings
- leaf nodes
- optimal solution
- neural network