A Method to Simplify Expressions: Intuition and Preliminary Experimental Results.

Baudouin Le Charlier, Mton Mton Atindehou

Browse the full LPAR paper archive.