Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130): Difference between revisions

@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating relevant models
@@ Property / cites work: Generating relevant models / rank @@
+Normal rank
@@ Property / cites work @@
+SATCHMORE: SATCHMO with RElevancy
@@ Property / cites work: SATCHMORE: SATCHMO with RElevancy / rank @@
+Normal rank
@@ Property / cites work @@
+\(\mathcal I\)-SATCHMORE: An improvement of \(\mathcal A\)-SATCHMORE
+Normal rank
@@ Property / cites work @@
+I-SATCHMO: An improvement of SATCHMO
@@ Property / cites work: I-SATCHMO: An improvement of SATCHMO / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Schubert's steamroller problem: Formulations and solutions
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02947117
+Normal rank
@@ Property / OpenAlex ID @@
+W2085976227
@@ Property / OpenAlex ID: W2085976227 / rank @@
+Normal rank