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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1134/s0361768821020043
+Normal rank
@@ Property / OpenAlex ID @@
+W3155680069
@@ Property / OpenAlex ID: W3155680069 / rank @@
+Normal rank