Pages that link to "Item:Q300345"
From MaRDI portal
The following pages link to Algorithmic issues of AND-decomposition of Boolean formulas (Q300345):
Displaying 6 items.
- Decomposable collections of sets (Q794641) (← links)
- Factorization of Boolean polynomials: parallel algorithms and experimental evaluation (Q2027854) (← links)
- The complexity of AND-decomposition of Boolean functions (Q2181249) (← links)
- Biabduction (and related problems) in array separation logic (Q2405270) (← links)
- AND–Decomposition of Boolean Polynomials with Prescribed Shared Variables (Q2795943) (← links)
- Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)