Using Symmetries to Lift Satisfiability Checking

Pierre Carbonnelle, Gottfried Schenner, Maurice Bruynooghe +2

We analyze how symmetries can be used to compress structures (also known as interpretations) onto a smaller domain without loss of information. This analysis suggests the possibili…