Eintrag weiter verarbeiten
Generation of Minimum-Consistent DFA Using SAT Solver
Gespeichert in:
Zeitschriftentitel: | Transactions of the Japanese Society for Artificial Intelligence |
---|---|
Personen und Körperschaften: | , |
In: | Transactions of the Japanese Society for Artificial Intelligence, 27, 2012, 3, S. 151-162 |
Format: | E-Article |
Sprache: | Englisch |
veröffentlicht: |
Japanese Society for Artificial Intelligence
|
Schlagwörter: |