Logic-Based Solver Technology
Project: PhD
- Zhang, Ye (Phd Student)
- Nielson, Flemming (Main Supervisor)
- Hankin, Chris (Examiner)
- Fischer, Paul (Examiner)
- Jensen, Thomas (Examiner)
| Status | Completed |
|---|---|
| Period | 15-09-05 → 25-03-09 |
| Financing source | Internal funding (public) |
|---|---|
| Research programme | Programbevilling |
ID: 2330465