Login / Signup
Efficient Combination of Decision Procedures for MUS Computation.
Cédric Piette
Youssef Hamadi
Lakhdar Sais
Published in:
FroCoS (2009)
Keyphrases
</>
decision procedures
theorem proving
modal logic
computational complexity
comparative analysis