Vol-1450⫷ Vol-1451 ⫸Vol-1452
urn:nbn:de:0074-1451-0


Vol-1451/paper5⫷Vol-1451/paper6⫸Vol-1451/paper7
Enrico GiunchigliaPaolo MarinMassimo NarizzanoLuca PulinaArmando Tacchella

An Empirical Perspective on Ten Years of QBF Solving