Nov, 2018

基于二值神经网络的分解状态和动作空间规划的紧凑高效编码

TL;DR本文提供了两种基于加权部分最大布尔可满足性和二进制线性规划的二元化神经网络学习的因子规划问题的新颖编译方法,并验证了其与现有神经网络编码的计算效率的比较,以及它可以学习复杂的转换模型的能力。最后,提供了一种基于广义里程碑约束的有限时间递增约束生成算法来提高编码的规划准确性。