A Study on Deep Learning Approach to Optimize Solving Construction Problems

In this study, we focus on a problem domain, construction problems, for reinforcement learning systems to optimize. We relate our approach to existing research in the field of automated theorem proving and other related techniques to optimize the solutions in this domain. We expect this study can inspire more interest in the adoption of and improve the efficiency of existing production systems.