Login / Signup

Efficient Combination of Decision Procedures for MUS Computation.

Cédric PietteYoussef HamadiLakhdar Sais
Published in: FroCoS (2009)
Keyphrases
  • decision procedures
  • theorem proving
  • modal logic
  • computational complexity
  • comparative analysis