Artifact for Paper Search-Space Pruning with Int-Splits for Faster QBF Solving

Dataset published at Zenodo repository.

Author name not available (Why is that?)

Publication date: 20 March 2023

Copyright license: No records found.

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