Probabilistic verification of Boolean functions (Q685120): Difference between revisions

@@ Property / author @@
-James R. Bitner
@@ Property / author: James R. Bitner / rank @@
-Normal rank
@@ Property / author @@
+James R. Bitner
@@ Property / author: James R. Bitner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Binary Decision Diagrams
@@ Property / cites work: Binary Decision Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of free Boolean graphs can be decided probabilistically in polynomial time
+Normal rank
@@ Property / cites work @@
+Graph-Based Algorithms for Boolean Function Manipulation
+Normal rank
@@ Property / cites work @@
+On the complexity of VLSI implementations and graph representations of Boolean functions with application to integer multiplication
+Normal rank
@@ Property / cites work @@
+Q4160379
@@ Property / cites work: Q4160379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628016
@@ Property / cites work: Q5628016 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm for finding dominators in a flowgraph
+Normal rank
@@ Property / cites work @@
+Probabilistic Treatment of General Combinational Networks
+Normal rank
@@ Property / cites work @@
+Probabilistic Aspects of Boolean Switching Functions via a New Transform
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00464357
+Normal rank
@@ Property / OpenAlex ID @@
+W2069530808
@@ Property / OpenAlex ID: W2069530808 / rank @@
+Normal rank