Simplifying and Generalizing Formulae in Tableaux. Pruning the Search Space and Building Models.

Nicolas Peltier

Browse the full TABLEAUX paper archive.