Efficient Partial Credit Grading of Proof Blocks Problems.

Seth Poulsen Shubhang Kulkarni Geoffrey L. Herman Matthew West

Published in: CoRR (2022)

Keyphrases

optimization problems
solving problems
database
multi agent
cost effective
decision problems
evolutionary algorithm
np complete
computationally efficient
computationally expensive
combinatorial optimization
theorem proving