1997
A classification of non-liftable orders for resolution
Publication
Publication
Presented at the
International Conference on Automated Deduction, Townsville
Additional Metadata | |
---|---|
, | |
Springer | |
Lecture Notes in Computer Science | |
International Conference on Automated Deduction | |
de Nivelle, H. (1997). A classification of non-liftable orders for resolution. In Automated Deduction - CADE-14 (pp. 336–350). Springer. |