Finding Finite Models in Multi-sorted First-Order Logic.

Giles Reger, Martin Suda, Andrei Voronkov

Browse the full SAT paper archive.