Pages that link to "Item:Q6488560"
From MaRDI portal
The following pages link to Minimizing the number of clauses by renaming (Q6488560):
Displaying 5 items.
- An optimality result for clause form translation (Q1201346) (← 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)
