12 citations · 31 across the 17 of their papers we have counts for
1 paper · 2 filters
Temesghen Kahsai, German Vidal
Many Program Verification and Synthesis problems of interest can be modeled directly using Horn clauses and many recent advances in the CLP and CAV communities have centered around…