Learning to Solve Quantified Boolean Formulas
Dauer: 53 Monate, Fördersumme: € 330.890
Communication and Complexity Constrained Inference over Graphs for Big Data
Dauer: 48 Monate, Fördersumme: € 500.000
Heisenbugs: From Detection to Explanation
Dauer: 112 Monate, Fördersumme: € 1.500.000