symmetry breaking

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables AAAI 2026 Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026 Symmetry Breaking for Inductive Logic Programming AAAI 2026 Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025 Complete Symmetry Breaking for Finite Models AAAI 2025 Context-Informed Neural ODEs Unexpectedly Identify Broken Symmetries: Insights from the Poincaré–Hopf Theorem ICML 2025 Expected Return Symmetries ICLR 2025 Improving Equivariant Networks with Probabilistic Symmetry Breaking ICLR 2025 R2Det: Exploring Relaxed Rotation Equivariance in 2D Object Detection ICLR 2025 Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023 Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) IJCAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023 Optimal Pathfinding on Weighted Grid Maps AAAI 2023 Optimizing over trained GNNs via symmetry breaking NeurIPS 2023 Spontaneous symmetry breaking in generative diffusion models NeurIPS 2023 Certified Symmetry and Dominance Breaking for Combinatorial Optimisation AAAI 2022 Equivariant Networks for Zero-Shot Coordination NeurIPS 2022 Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract) AAAI 2022 Finding the Hardest Formulas for Resolution (Extended Abstract) IJCAI 2021 Lifting Symmetry Breaking Constraints with Inductive Logic Programming IJCAI 2021 Noether’s Learning Dynamics: Role of Symmetry Breaking in Neural Networks NeurIPS 2021 Symmetry Breaking for k-Robust Multi-Agent Path Finding AAAI 2021 Analytic Characterization of the Hessian in Shallow ReLU Models: A Tale of Symmetry NeurIPS 2020 A QSAT Benchmark Based on Vertex-Folkman Problems (Student Abstract) AAAI 2020 Beyond Signal Propagation: Is Feature Diversity Necessary in Deep Neural Network Initialization? ICML 2020