Login / Signup

Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction.

Jianmin ZhangTiejun LiKefan Ma
Published in: NCTCS (2020)
Keyphrases
  • unsatisfiable cores
  • hidden structure
  • first order logic
  • max sat