Login / Signup

Proving Non-Termination by Acceleration Driven Clause Learning (Short WST Version).

Florian FrohnJürgen Giesl
Published in: CoRR (2023)
Keyphrases
  • clause learning
  • sat solvers
  • term rewrite systems
  • machine learning
  • sat solving
  • artificial intelligence
  • knowledge base
  • expressive power