Finding All Minimum-Size DFA Consistent with Given Examples: SAT-Based Approach.

Ilya Zakirzyanov Anatoly Shalyto Vladimir Ulyantsev

Published in: SEFM Workshops (2017)

Keyphrases

simple examples
sat solvers
search algorithm
training examples
minimum cost
boolean satisfiability
database
data sets
search strategies
constant factor
maximum clique
edge disjoint