SAT-Equiv: An Efficient Tool for Equivalence Properties.

Véronique Cortier Antoine Dallon Stéphanie Delaune

Published in: CSF (2017)

Keyphrases

data sets
information systems
satisfiability problem
structural properties
genetic algorithm
orders of magnitude