SaDiCaL

swMATH44294MaRDI QIDQ5973615FDOQ5973615

Author name not available (Why is that?)

Cited In (5)

• Propositional proof systems based on maximum satisfiability
• Simulating strong practical proof systems with extended resolution
• Preprocessing of propagation redundant clauses
• Covered clauses are not propagation redundant
• Truth Assignments as Conditional Autarkies

This page was built for software: SaDiCaL