Improved SAT models for NFA learning

Open in new window