Factorization of Boolean polynomials: parallel algorithms and experimental evaluation (Q2027854): Difference between revisions

@@ Property / cites work @@
+Modern Computer Algebra
@@ Property / cites work: Modern Computer Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic issues of AND-decomposition of Boolean formulas
+Normal rank
@@ Property / cites work @@
+On Tractability of Disjoint AND-Decomposition of Boolean Formulas
+Normal rank
@@ Property / cites work @@
+On the Relation between Polynomial Identity Testing and Finding Variable Disjoint Factors
+Normal rank
@@ Property / cites work @@
+On a polytime factorization algorithm for multilinear polynomials over \(\mathbb{F}_2\)
+Normal rank
@@ Property / cites work @@
+A polynomial Time Delta-Decomposition algorithm for positive DNFs
+Normal rank