A new clausal class decidable by hyperresolution

Lilia Georgieva, U Hustadt, R Schmidt

Research output: Contribution to conferencePaperpeer-review

15 Citations (Scopus)
Original languageEnglish
Pages260-274
Number of pages15
Publication statusPublished - 2002
Event18th International Conference on Automated Deduction 2002 -
Duration: 1 Jan 2002 → …

Conference

Conference18th International Conference on Automated Deduction 2002
Abbreviated titleCADE 18
Period1/01/02 → …

Cite this