scientific article; zbMATH DE number 7300405

MaRDI QIDQ5146180zbMATH OpenFDO

Authors I. G. Khnykin

Publication date 25 January 2021

Full work available at URL http://mathnet.ru/eng/pdm73

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Cryptography (94A60)

Recommendations

• On conversions from CNF to ANF
• On converting CNF to DNF
• Mathematical Foundations of Computer Science 2003
• Transforming constraint logic programs
• Transformations of logic programs
• Transformations of logic programs
• Complexity of translations from resolution to sequent calculus
• Principles and Practice of Constraint Programming – CP 2003

Cited in

(2)

• On conversions from CNF to ANF
• A Gröbner Basis Approach to CNF-Formulae Preprocessing

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5146180)