collaborators

1 paper

cs.DM2025

Composable Constraint Models for Permutation Enumeration

Ruth Hoffmann, Özgür Akgün, Christopher Jefferson

Constraint programming (CP) is a powerful tool for modeling mathematical concepts and objects and finding both solutions or counter examples. One of the major strengths of CP is th…