SaDiCaL
From MaRDI portal
Software:5973615
No author found.
Related Items (5)
Simulating strong practical proof systems with extended resolution ⋮ Truth Assignments as Conditional Autarkies ⋮ Propositional proof systems based on maximum satisfiability ⋮ Covered clauses are not propagation redundant ⋮ Preprocessing of propagation redundant clauses
This page was built for software: SaDiCaL