Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021

Buser Say, Scott Sanner, Jo Devriendt +2

This document provides a brief introduction to learned automated planning problem where the state transition function is in the form of a binarized neural network (BNN), presents a…