SaDiCaL

swMATH44294MaRDI QIDQ5973615FDOQ5973615

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: SaDiCaL