Pages that link to "Item:Q300345"

From MaRDI portal

← Algorithmic issues of AND-decomposition of Boolean formulas (Q300345)

Jump to:navigation, search

What links here

⧼whatlinkshere-whatlinkshere-target⧽

Page:

⧼whatlinkshere-whatlinkshere-ns⧽

Namespace:

Invert selection

⧼whatlinkshere-whatlinkshere-filter⧽

Hide transclusions

Hide links

Hide redirects

The following pages link to Algorithmic issues of AND-decomposition of Boolean formulas (Q300345):

Displaying 3 items.

Factorization of Boolean polynomials: parallel algorithms and experimental evaluation (Q2027854) (← links)
AND–Decomposition of Boolean Polynomials with Prescribed Shared Variables (Q2795943) (← links)
Progression of Decomposed Local-Effect Action Theories (Q5278214) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere"