9 citations · 14 across the 3 of their papers we have counts for
1 paper · 1 filter
Rick Smetsers
The problem of learning a minimal consistent model from a set of labeled sequences of symbols is addressed from a satisfiability modulo theories perspective. We present two encodin…