Avoiding Larger Conflict Regions in CDCL-Style Methods for Solving SMT-NRA.

Xinpeng Ni, Tianyi Ding, Bican Xia

Browse the full ICFEM paper archive.