Binary Implication Hypergraphs for the Representation and Simplification of Propositional Formulae.

Jordina Francs de Mas

Browse the full LOPSTR paper archive.