Learning to Classify Logical Formulas Based on Their Semantic Similarity.

Ali Ballout, Clia da Costa Pereira, Andrea G. B. Tettamanzi

Browse the full PRIMA paper archive.