| Original language | English |
|---|---|
| Pages | 656-663 |
| Number of pages | 8 |
| DOIs | |
| Publication status | Published - 29 Sept 2009 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Heuristics for Resolution in Propositional Logic
- Manfred Kerber
- , B Mertsching
- , M Hund
- , Z Aziz
Research output: Contribution to conference (unpublished) › Paper