Pages that link to "Item:Q809622"
From MaRDI portal
The following pages link to Optimizing the clausal normal form transformation (Q809622):
Displaying 8 items.
- Prime forms and minimal change in propositional belief bases (Q622590) (← links)
- A structure-preserving clause form translation (Q1098330) (← links)
- An optimality result for clause form translation (Q1201346) (← links)
- Using tactics to reformulate formulae for resolution theorem proving (Q1380410) (← links)
- Computing small clause normal forms (Q2751358) (← links)
- (Q3711782) (← links)
- Computing prime implicants via transversal clauses (Q4243266) (← links)
- Computing Tiny Clause Normal Forms (Q4928432) (← links)