Keyphrases
- game playing
- max sat
- weighted max sat
- satisfiability problem
- general game playing
- sat solvers
- branch and bound algorithm
- search algorithm
- sat problem
- video games
- lower bound
- branch and bound
- tabu search
- game tree
- linear programming
- constraint satisfaction
- game play
- boolean satisfiability
- neural network
- mathematical programming
- learning styles
- collaborative learning
- maximum satisfiability