Efficient Semantic Features for Automated Reasoning over Large Theories.

Cezary Kaliszyk, Josef Urban, Jir Vyskocil

Browse the full IJCAI paper archive.