Pages that link to "Item:Q3455060"
From MaRDI portal
The following pages link to On Tractability of Disjoint AND-Decomposition of Boolean Formulas (Q3455060):
Displaying 5 items.
- Factorization of Boolean polynomials: parallel algorithms and experimental evaluation (Q2027854) (← links)
- The complexity of AND-decomposition of Boolean functions (Q2181249) (← links)
- AND–Decomposition of Boolean Polynomials with Prescribed Shared Variables (Q2795943) (← links)
- (Q4636519) (← links)
- Decomposing Quantified Conjunctive (or Disjunctive) Formulas (Q5506695) (← links)