Pages that link to "Item:Q1367074"
From MaRDI portal
The following pages link to CNF and DNF considered harmful for computing prime implicants/implicates (Q1367074):
Displaying 10 items.
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- Efficient query processing with reduced implicate tries (Q877893) (← links)
- A corrigendum for the optimized-IPIA (Q1333172) (← links)
- Abductive network action inference for targeted therapy discovery (Q2130566) (← links)
- On conversions from CNF to ANF (Q2307626) (← links)
- Computation of prime implicants using matrix and paths (Q4399714) (← links)
- A temporal negative normal form which preserves implicants and implicates (Q4443401) (← links)
- Prime implicants of first order formulas via transversal clauses (Q4464262) (← links)
- A new class of explanations for classifiers with non-binary features (Q6545524) (← links)
- Belief revision with satisfaction measure (Q6562555) (← links)