Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories.

Aina Niemetz, Mathias Preiner, Armin Biere

Browse the full CAV paper archive.