Login / Signup

Computing unsatisfiable cores for LTLf specifications.

Marco RoveriClaudio Di CiccioChiara Di FrancescomarinoChiara Ghidini
Published in: CoRR (2022)
Keyphrases
  • unsatisfiable cores
  • evolutionary algorithm
  • lower bound
  • special case
  • dynamic programming
  • boolean satisfiability