Boosting Constrained Horn Solving by Unsat Core Learning.

Parosh Aziz Abdulla, Chencheng Liang, Philipp Rmmer

Browse the full VMCAI paper archive.