TY  - RPRT
TI  - Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
AU  - Buser Say
AU  - Scott Sanner
AU  - Jo Devriendt
AU  - Jakob Nordström
AU  - Peter J. Stuckey
PY  - 2021
UR  - https://arxiv.org/abs/2108.00633
ID  - 2108.00633
ER  -