Diagnostic Assessment Generation via Combinatorial Search.

Daehan Kim Hyeonseong Choi Guik Jung

Published in: CoRR (2021)

Keyphrases

combinatorial search
search algorithm
search space
combinatorial problems
combinatorial optimization
theorem proving
expert systems
search strategy
pattern recognition
heuristic search
search problems
lower bound
constraint solver