Solving Linear Constraints in Elementary Abelian p-Groups of Symmetries

Thierry Boy de la Tour, Mnacho Echenim

Symmetries occur naturally in CSP or SAT problems and are not very difficult to discover, but using them to prune the search space tends to be very challenging. Indeed, this usuall…