Direct finite first-order model generation with negative constraint propagation heuristic.

Olga Shumsky, Ralph W. Wilkerson, William McCune, Fikret Eral

Browse the full SAC paper archive.