Published 2008
| Version v1
Publication
QuBIS: An (In)complete Solver for Quantified Boolean Formulas
Creators
Contributors
Others:
Additional details
Identifiers
- URL
- http://hdl.handle.net/11567/241886
- URN
- urn:oai:iris.unige.it:11567/241886
Origin repository
- Origin repository
- UNIGE