1 citations · 1 across the 1 of their papers we have counts for
1 paper
Simone Heisinger, Luca Pulina, Martina Seidl
The QBF Gallery 2023, the last QBF evaluation event, continues the tradition to survey and document the state of the art in solving quantified Boolean formulas (QBFs). It provides…