Proving with BDDs and control of information (Q5210793): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-58156-1_36
+Normal rank
@@ Property / OpenAlex ID @@
+W1561279903
@@ Property / OpenAlex ID: W1561279903 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem Proving via General Matings
@@ Property / cites work: Theorem Proving via General Matings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692618
@@ Property / cites work: Q4692618 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+Q4860656
@@ Property / cites work: Q4860656 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942635
@@ Property / cites work: Q4942635 / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Seventy-five problems for testing automatic theorem provers
+Normal rank
@@ Property / cites work @@
+Q5801644
@@ Property / cites work: Q5801644 / rank @@
+Normal rank