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