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
No.	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",

number = "2304.08308",

type = "WorkingPaper",

}