A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.

Nick Moffat, Michael Goldsmith, Bill Roscoe

Browse the full ICFEM paper archive.