Heuristics for Resolution in Propositional Logic

Manfred Kerber, B Mertsching, M Hund, Z Aziz

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages656-663
Number of pages8
DOIs
Publication statusPublished - 29 Sept 2009

Cite this