Local Search for SMT on Linear Integer Arithmetic.

Shaowei Cai, Bohan Li, Xindi Zhang

Browse the full CAV paper archive.