We present a method - called quantifier tree reconstruction - that allows to efficiently recover es-post a portion of the internal structure of QBF instances which was hidden as a consequence of the cast to prenex normal form. Means to profit from a quantifier tree are presented for all the main families of QBF solvers. Surprising experiments on QBFLIB are also reported
Quantifier Trees for QBFs
Benedetti, Marco
2005-01-01
Abstract
We present a method - called quantifier tree reconstruction - that allows to efficiently recover es-post a portion of the internal structure of QBF instances which was hidden as a consequence of the cast to prenex normal form. Means to profit from a quantifier tree are presented for all the main families of QBF solvers. Surprising experiments on QBFLIB are also reportedFile in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
