Decision Heuristics in MCSat.

Thomas Hader, Ahmed Irfan, Stphane Graham-Lengrand

Browse the full CAV paper archive.