MeMin: SAT-based Exact Minimization of Incompletely Specified Mealy Machines.

Andreas Abel Jan Reineke

Published in: ICCAD (2015)

Keyphrases

ai planning
answer set programming
sat solvers
objective function
regularization term
bounded model checking
machine intelligence
brute force
image segmentation