ModGen: Theorem Proving by Model Generation.

Sun Kim, Hantao Zhang

Browse the full AAAI paper archive.