Published March 20, 2023
| Version v1
Dataset
Open
Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving
- 1. Johannes Kepler University Linz
- 2. Aarhus University
Description
This is the artifact for the paper "Search-Space Pruning with Int-Splits for Faster QBF Solving" submitted to the SAT2023 conference.
Files
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:b4f392d0caa9719b236b71d6ed810d34
|
1.3 GB | Download |