Research output per year
Research output per year
Search results
-
2023
Composable constraint models for permutation enumeration
Hoffmann, R., Akgun, O. & Jefferson, C. A., 29 Nov 2023, arXiv, 13 p.Research output: Working paper › Preprint
-
2022
Automatic tabulation in constraint models
Akgün, Ö., Gent, I. P., Jefferson, C., Kiziltan, Z., Miguel, I., Nightingale, P., Salamon, A. Z. & Ulrich-Oltean, F., 26 Feb 2022, (Submitted) 51 p.Research output: Working paper › Preprint
-
2021
Using small MUSes to explain how to solve pen and paper puzzles
Espasa Arxer, J., Gent, I. P., Hoffmann, R., Jefferson, C. & Lynch, A. M., 30 Apr 2021.Research output: Working paper › Preprint
Open AccessFile19 Downloads (Pure)