Sciweavers

DATE
2006
IEEE

Quantifier structure in search based procedures for QBFs

14 years 5 months ago
Quantifier structure in search based procedures for QBFs
Enrico Giunchiglia, Massimo Narizzano, Armando Tac
Added 10 Jun 2010
Updated 10 Jun 2010
Type Conference
Year 2006
Where DATE
Authors Enrico Giunchiglia, Massimo Narizzano, Armando Tacchella
Comments (0)