Symmetries, almost symmetries, and lazy clause generation
From MaRDI portal
Publication:2342601
DOI10.1007/s10601-014-9163-9zbMath1316.90045MaRDI QIDQ2342601
Peter J. Stuckey, Christopher Mears, Maria Garcia de la Banda, Geoffrey Chu
Publication date: 29 April 2015
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11343/282666
90C30: Nonlinear programming
Uses Software