International Computer Science Symposium in Russia (CSR)
Event name
International Computer Science Symposium in Russia (CSR)
Start date
13-07-2015
End date
17-07-2015
Location
Listvyanka, Russia
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Zuleger, Florian | Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems | Konferenzbeitrag Inproceedings  | 2015 | |
| 2 | Bova, Simone Maria ; Slivovsky, Friedrich | On Compiling Structured CNFs to OBDDs | Konferenzbeitrag Inproceedings | 2015 |