Automating Symmetry-Breaking Calculations

From MaRDI portal
Publication:4827626

DOI10.1112/S1461157000001066zbMath1053.37027OpenAlexW2021340464MaRDI QIDQ4827626

No author found.

Publication date: 18 November 2004

Published in: LMS Journal of Computation and Mathematics (Search for Journal in Brave)

Full work available at URL: http://www.lms.ac.uk/jcm/7/lms2003-009/




Related Items


Uses Software


Cites Work