1 paper · 1 filter
Johannes Weiser, Zafer Esen, Philipp Rümmer
Constrained Horn clauses (CHCs) are a fragment of first-order logic widely used as an intermediate language for verification. We study constrained resolution as a calculus for reas…