publicationentry of big and 1 other user:
(0)
This publication has not been reviewed yet.
rating distribution
average user rating
?
The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.
A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
by:In: Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling
(2006)
.
BibTeX record