Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
publications [2014/01/14 09:31] vkuncak |
publications [2014/01/14 10:40] vkuncak |
||
|---|---|---|---|
| Line 20: | Line 20: | ||
| [[http://infoscience.epfl.ch/search?ln=en&p=author%3A%22Kuncak%2C+V.%22+or+author%3A%22Piskac%2C+R.%22+or+author%3A%22Jacobs%2C+S.%22+or+author%3A%22Hojjat%2C+H.%22&sf=year&rg=100|Partial List from EPFL Infoscience]] | [[http://infoscience.epfl.ch/search?ln=en&p=author%3A%22Kuncak%2C+V.%22+or+author%3A%22Piskac%2C+R.%22+or+author%3A%22Jacobs%2C+S.%22+or+author%3A%22Hojjat%2C+H.%22&sf=year&rg=100|Partial List from EPFL Infoscience]] | ||
| - | ===== Master's Theses ===== | + | ===== Master's Theses (Partial List) ===== |
| * Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] | * Philippe Suter: [[http://infoscience.epfl.ch/record/126445|Non-Clausal Satisfiability Modulo Theories]] | ||