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

From MaRDI portal

Jump to:navigation, search

DOI10.5281/zenodo.7753526ZenodoMaRDI QIDQ6717008FDO

Authors 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Artifact_for_Paper_Search-Space_Pruning_with_Int-Splits_for_Faster_QBF_Solving&oldid=54684290"