SaDiCaL

MaRDI QIDQ5973615swMATHFDO

Official website http://fmv.jku.at/sadical/

Cited in

(9)

• Truth assignments as conditional autarkies
• Preprocessing of propagation redundant clauses
• Simulating strong practical proof systems with extended resolution
• Saturn
• Nenofex
• Covered clauses are not propagation redundant
• Propositional proof systems based on maximum satisfiability
• PReLearn
• QRATPre+

This page was built for software: SaDiCaL