Pages that link to "Item:Q6488560"
From MaRDI portal
The following pages link to Minimizing the number of clauses by renaming (Q6488560):
Displaying 9 items.
- Removing redundancy from a clause (Q685346) (← links)
- Optimizing the clausal normal form transformation (Q809622) (← 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)
- Practically useful variants of definitional translations to normal form (Q1854384) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- On the practical value of different definitional translations to normal form (Q4647537) (← links)
- A Mizar mode for HOL (Q6567713) (← links)