7 citations · 7 across the 1 of their papers we have counts for
1 paper
Emanuele De Angelis, Hari Govind V K
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Work…