BNN benchmarks and raw data of experiments
收藏数据链接:
官方服务:
资源简介:
Supplementary materials for CP21 paper: Engineering an Efficient PB-XOR Solver. 1. BNN benchmarks used in the experiments. 2. Raw data of the experiments.
提供机构:
Zenodo创建时间:
2022-01-07

Supplementary materials for CP21 paper: Engineering an Efficient PB-XOR Solver. 1. BNN benchmarks used in the experiments. 2. Raw data of the experiments.