Published 2004
| Version v1
Publication
Sixth International Conference on Theory and Applications of Satisfiability Testing - Selected and Revised Papers
Additional details
- URL
- http://hdl.handle.net/11567/243037
- URN
- urn:oai:iris.unige.it:11567/243037
- Origin repository
- UNIGE