PUMA/RiSE Workshop
Event name
PUMA/RiSE Workshop
Event type
Event for scientific audience
Start date
29-09-2014
End date
03-10-2014
Location
Mondsee
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena | A SAT-based Debugging Tool for State Machines and Sequence Diagrams | Präsentation Presentation | 2014 | |
| 2 | Lonsing, Florian | Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination | Präsentation Presentation | 2015 |