基于学习型二值化神经网络的规划：MaxSAT Evaluation 2021 基准
人工智能
2021-08-03 v1
摘要
本文档简要介绍了状态转移函数以二值化神经网络（BNN）形式表示的学习型自动规划问题，给出了该问题的一般 MaxSAT 编码，并描述了作为 MaxSAT Evaluation 2021 基准提交的四个领域，即：导航、库存控制、系统管理员和 Cellda。
引用
@article{arxiv.2108.00633,
title = {Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021},
author = {Buser Say and Scott Sanner and Jo Devriendt and Jakob Nordström and Peter J. Stuckey},
journal= {arXiv preprint arXiv:2108.00633},
year = {2021}
}