A note on regular resolution (Q1137994): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of regular resolution and the Davis-Putnam procedure
+Normal rank
@@ Property / cites work @@
+Q4192035
@@ Property / cites work: Q4192035 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1137994