Minimizing the number of clauses by renaming

DOI10.1007/3-540-52885-7_114zbMath1509.68295MaRDI QIDQ6488560

Thierry Boy de la Tour

Publication date: 28 April 2023

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (4)

On the practical value of different definitional translations to normal form ⋮ An optimality result for clause form translation ⋮ Practically useful variants of definitional translations to normal form ⋮ Solving strong controllability of temporal problems with uncertainty using SMT

Cites Work

• Unnamed Item
• A structure-preserving clause form translation
• Seventy-five problems for testing automatic theorem provers

This page was built for publication: Minimizing the number of clauses by renaming