TY  - RPRT
TI  - Learn with SAT to Minimize Büchi Automata
AU  - Stephan Barth
AU  - Martin Hofmann
PY  - 2012
DO  - 10.4204/eptcs.96.6
UR  - https://arxiv.org/abs/1210.2452
ID  - 1210.2452
ER  -