Published 2001
| Version v1
Publication
A Superposition Based Methodology to Design Satisfiability Decision Procedures
- Creators
- ARMANDO, ALESSANDRO
- RANISE S.
- RUSINOWITCH M.
Additional details
- URL
- http://hdl.handle.net/11567/230623
- URN
- urn:oai:iris.unige.it:11567/230623
- Origin repository
- UNIGE