Project Details
Project Description
Huub: Next-Gen Lazy Clause Generation
| Short title | Huub: |
|---|---|
| Acronym | NLCG |
| Status | Active |
| Effective start/end date | 14/04/25 → 13/04/26 |
Keywords
- lazy clause generation
Huub: Next-Gen Lazy Clause Generation
- Stuckey, Peter (Primary Chief Investigator (PCI))
- Ignatiev , Alexey (Chief Investigator (CI))
- Dekker, Jip (Associate Investigator (AI))
- Zhong, Allen (Associate Investigator (AI))
Project: Research