A Novel EGs-Based Framework for Systematic Propositional-Formula Simplification.

Jordina Francs de Mas, Juliana Bowles

Browse the full LOPSTR paper archive.