An approach for extracting a small unsatisfiable core.

Roman Gershman Maya Koifman Ofer Strichman

Published in: Formal Methods Syst. Des. (2008)

Keyphrases

small number
phase transition
evolutionary algorithm
rough sets
data extraction
medium size