| Original language | English |
|---|---|
| Publication status | Published - 30 Sept 2009 |
| Event | SAT 2009 Competitive Events Booklet - Proceedings of the 2009 International SAT Competition, Twelfth International Conference on Theory and Applications of Satisfiability Testing - Duration: 30 Sept 2009 → … |
Conference
| Conference | SAT 2009 Competitive Events Booklet - Proceedings of the 2009 International SAT Competition, Twelfth International Conference on Theory and Applications of Satisfiability Testing |
|---|---|
| Period | 30/09/09 → … |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver