BibSonomy now supports HTTPS. Switch to HTTPS.

A Solver for QBFs in Nonprenex Form: Overview and Experimental Results

, , and . Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)

Links and resources

BibTeX key:
search on:

Comments and Reviews  

There is no review or comment yet. You can write one!


Cite this publication