Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving
From MaRDI portal
Dataset:6717008
DOI10.5281/zenodo.7753526Zenodo7753526MaRDI QIDQ6717008FDOQ6717008
Dataset published at Zenodo repository.
Jaco van de Pol, Martina Seidl, Maximilian Heisinger, Irfansha Shaik
Publication date: 20 March 2023
Copyright license: Creative Commons Attribution 4.0 International
This is the artifact for the paper Search-Space Pruning with Int-Splits for Faster QBF Solving submitted to the SAT2023 conference.
This page was built for dataset: Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving
