Complete Methods for Satisfiability Testing (SAT); slides and notes of a lecture given at ILLC, October 30th
| Authors | |
|---|---|
| Publication date | 1996 |
| Publisher | Amsterdam: vakgroep methoden en technieken |
| Organisations |
|
| Document type | Report |
| Note | CCSOM Report 96-146 |
| Permalink to this page | |