Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/13 → 1/01/17 |
| Links | https://www.isf.org.il/#/studies |
Funding
- Israel Science Foundation
Compact Encoding of Model-Based Diagnosis to Boolean Satisfiabilty
- Codish, Michael (PI)
- Kalech, Meir (CoPI)