Learn Omega-matic: System Description.

Mateja Jamnik, Manfred Kerber, Martin Pollet

Browse the full CADE paper archive.