1 citations · 1 across the 5 of their papers we have counts for
1 paper · 1 filter
William McCune
MACE is a program that searches for finite models of first-order statements. The statement to be modeled is first translated to clauses, then to relational clauses; finally for the…