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


Vol-1451/paper5⫷Vol-1451/paper6⫸Vol-1451/paper7
Armando TacchellaLuca PulinaMassimo NarizzanoPaolo MarinEnrico Giunchiglia

An Empirical Perspective on Ten Years of QBF Solving