Published 2006 | Version v1

Publication Metadata-only

Quantifier Structure in search based procedures for QBFs

Creators: GIUNCHIGLIA, ENRICO; NARIZZANO, MASSIMO; TACCHELLA, ARMANDO

Others:: Giunchiglia, Enrico; Narizzano, Massimo; Tacchella, Armando

Additional details

Created:: April 14, 2023
Modified:: November 29, 2023