Enhancing Clause Learning by Symmetry in SAT Solvers. - Belaid Benhamou; Tarek Nabhani; Richard Ostrowski; Mohamed Réda Saïdi (ICTAI (1), 2010)