Login / Signup
Automatically Generating Problems and Solutions for Natural Deduction.
Umair Z. Ahmed
Sumit Gulwani
Amey Karkare
Published in:
IJCAI (2013)
Keyphrases
</>
automatically generating
similar problems
natural deduction
benchmark problems
search methods
automatically generated
combinatorial problems
approximate solutions
artificial intelligence
optimal solution
evolutionary algorithm
solution quality
optimal or near optimal