Research output per year
Research output per year
Project Details
| Acronym | Combining Constraints and Verification |
|---|---|
| Status | Finished |
| Effective start/end date | 31/07/14 → 30/07/17 |
Funding
- EPSRC: £227,684.26
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
-
Minimal and canonical images
Jefferson, C., Jonauskyte, E., Pfeiffer, M. & Waldecker, R., 1 Mar 2019, In: Journal of Algebra. 521, p. 481-506Research output: Contribution to journal › Article › peer-review
Open AccessFile -
New refiners for permutation group search
Jefferson, C., Pfeiffer, M. & Waldecker, R., May 2019, In: Journal of Symbolic Computation. 92, p. 70-92 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
A review of literature on parallel constraint solving
Gent, I. P., Miguel, I. J., Nightingale, P. W., McCreesh, C., Prosser, P., Moore, N. & Unsworth, C., Sept 2018, In: Theory and Practice of Logic Programming. 18, 5-6, p. 725-758 34 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile