Keyphrases
- sat solvers
- decision trees
- satisfiability problem
- sat problem
- search algorithm
- tree structure
- sat solving
- tree structures
- pseudo boolean constraints
- machine learning
- boolean satisfiability
- tree construction
- max sat
- brute force
- phase transition
- search strategies
- phylogenetic trees
- tree automata
- evolutionary algorithm
- data structure