A new clausal class decidable by hyperresolution

Lilia Georgieva, U Hustadt, R Schmidt

Research output: Contribution to conferencePaper

14 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

Georgieva, L., Hustadt, U., & Schmidt, R. (2002). A new clausal class decidable by hyperresolution. 260-274. Paper presented at 18th International Conference on Automated Deduction 2002, .