Efficient Reasoning for Inconsistent Horn Formulae.

Joo Marques-Silva, Alexey Ignatiev, Carlos Menca, Rafael Pealoza

Browse the full JELIA paper archive.