Keyphrases
- intelligent tutoring systems
- argumentation skills
- sat solvers
- satisfiability problem
- argumentation systems
- search algorithm
- sat problem
- phase transition
- search strategies
- sat solving
- max sat
- propositional satisfiability
- stochastic local search
- boolean satisfiability
- stochastic local search algorithms
- evidential reasoning
- graph coloring
- defeasible reasoning
- pseudo boolean constraints
- cscl environments
- genetic algorithm
- legal reasoning
- argumentation frameworks
- backtracking search
- first order logic