Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021

Open in new window