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

Maximilian Heisinger, Irfansha Shaik, Martina Seidl, Jaco van de Pol

Research output: Working paper and reports › Preprint

Name	arXiv.org
Volume	abs/2304.08308

Fields of science

@techreport{7a3bc9c5bc904c13bb99ce59ec3435ca,

title = "Search-Space Pruning with Int-Splits for Faster QBF Solving",

author = "Maximilian Heisinger and Irfansha Shaik and Martina Seidl and {van de Pol}, Jaco",

year = "2023",

doi = "10.48550/arXiv.2304.08308",

language = "English",

series = "arXiv.org",

type = "WorkingPaper",

}