Boosting Constrained Horn Solving by Unsat Core Learning

von Abdulla, Parosh Aziz
Veröffentlicht in VMCAI (25. : 2024 : London) Verification, model checking and abstract interpretation ; Part 1 (2024)