Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories.

Martin Bromberger, Alberto Fiori, Christoph Weidenbach

Browse the full VMCAI paper archive.