CadiBack Backbone Extractor
This page provides source code, experimental data and benchmarks used in our CadiBack tool paper, which is going to be presented at SAT’23:
Armin Biere,
Nils Froleyks and
Wenxi Wang.
CadiBack: Extracting Backbones with CaDiCaL.
To be published in
Proc. 26th International Conference on Theory and Applications of
Satisfiability Testing (SAT’23),
LIPIcs 2023.
[ paper
| bibtex
| src
| data
| benchmarks
| cadiback
| cadical
| minibones
]
Here is a more detailed list:
- source code cadiback-sources.tar.xz (880 KB)
- experimental data cadiback-experiments.tar.xz (48 MB)
- sampled benchmarks sc04to22sat.zip (6 GB), https://doi.org/10.5281/zenodo.7750076
- cadiback@github https://github.com/arminbiere/cadiback
- cadical@github https://github.com/arminbiere/cadical
- minibones@github https://github.com/arminbiere/minibones