There is a newer version of the record available.

Published October 1, 2021 | Version v1
Dataset Open

BNN benchmarks and raw data of experiments

Authors/Creators

  • 1. National University of Singapore

Description

Supplementary materials for CP21 paper: Engineering an Efficient PB-XOR Solver.

1. BNN benchmarks used in the experiments.

2. Raw data of the experiments.

Files

BNNbenchmarks.zip

Files (9.3 GB)

Name Size
md5:fc2b02e130c8e47e78d01861e9253407
9.3 GB Preview Download
md5:1cb267a7fa2f1f3a38e279f4e8cc6c9d
92.8 kB Preview Download
md5:db968ffe26834db17f2b277d7c260b19
76.5 kB Preview Download
md5:e12cd2495455e93850fc003dc066fbe4
145.4 kB Preview Download