Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
start [2015/06/23 00:00] rmayr |
start [2017/12/26 18:32] (current) yufang |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| as the progress made by SAT-solvers on NP-hard logic problems. | as the progress made by SAT-solvers on NP-hard logic problems. | ||
| - | {{ :incprob.jpg?nolink&500 |An Example of Language Inclusion Problems}} | + | {{ :incprob.jpg?nolink |An Example of Language Inclusion Problems}}\\ |
| - | + | ||
| {{:Slides2014.pdf|Slides of an overview talk on language inclusion and automata minimization.}} | {{:Slides2014.pdf|Slides of an overview talk on language inclusion and automata minimization.}} | ||