Formula Preprocessing in MUS Extraction.

Anton Belov Matti Järvisalo João Marques-Silva

Published in: TACAS (2013)

Keyphrases

preprocessing
post processing
comparative analysis
feature extraction
automatic extraction
preprocessing step
knowledge extraction
optimal solution
information systems
information extraction
high throughput
preprocessing phase