Itzhakov, Avraham; Codish, Michael Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs. (English) Zbl 1492.05081 Constraints 27, No. 1-2, 8-28 (2022). MSC: 05C45 68R10 90C35 05C75 PDFBibTeX XMLCite \textit{A. Itzhakov} and \textit{M. Codish}, Constraints 27, No. 1--2, 8--28 (2022; Zbl 1492.05081) Full Text: DOI Backlinks: MO
Zha, Aolong; Koshimura, Miyuki; Fujita, Hiroshi \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT. (English) Zbl 1483.68244 Constraints 24, No. 2, 133-161 (2019). MSC: 68R07 68T20 PDFBibTeX XMLCite \textit{A. Zha} et al., Constraints 24, No. 2, 133--161 (2019; Zbl 1483.68244) Full Text: DOI
Itzhakov, Avraham; Codish, Michael Breaking symmetries in graph search with canonizing sets. (English) Zbl 1368.90137 Constraints 21, No. 3, 357-374 (2016). MSC: 90C27 PDFBibTeX XMLCite \textit{A. Itzhakov} and \textit{M. Codish}, Constraints 21, No. 3, 357--374 (2016; Zbl 1368.90137) Full Text: DOI arXiv