Cited By
View all- Van Caudenberg DBogaerts B(2023)Symmetry and Dominance Breaking for Pseudo-Boolean OptimizationArtificial Intelligence and Machine Learning10.1007/978-3-031-39144-6_10(149-166)Online publication date: 4-Aug-2023
- Aloul FRamani AMarkov ISakallah K(2005)Dynamic symmetry-breaking for improved Boolean optimizationProceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.10.1109/ASPDAC.2005.1466204(445-450)Online publication date: 2005
- Ramani AAloul FMarkov ISakallah K(2004)Breaking Instance-Independent Symmetries in Exact Graph ColoringProceedings of the conference on Design, automation and test in Europe - Volume 110.5555/968878.969090Online publication date: 16-Feb-2004