Advanced Winter School on Reasoning Engines for Rigorous System Engineering
Event name
Advanced Winter School on Reasoning Engines for Rigorous System Engineering
Event type
Event for scientific audience
Start date
03-02-2014
End date
07-02-2014
Location
Johannes Kepler University, Linz
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 | Egly, Uwe | Deduction Concepts for Quantified Boolean Formulas | Präsentation Presentation | 2014 | |
| 2 | Lonsing, Florian | Search-Based QBF Solving | Präsentation Presentation | 2014 |