16 citations · 17 across the 6 of their papers we have counts for
1 paper · 1 filter
Emanuele De Angelis, Hari Govind V K
CHC-COMP 2022 is the fifth edition of the competition of solvers for Constrained Horn Clauses. The competition was run in March 2022; the results were presented at the 9th Workshop…