Faster Symmetry Breaking Constraints for Abstract Structures
Fuente:
arXiv
Saved in:
| Main Authors: | Akgün, Özgür, Chang, Mun See, Gent, Ian P., Jefferson, Christopher |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Breaking the Symmetries of Indistinguishable Objects
by: Akgun, Ozgur, et al.
Published: (2025)
by: Akgun, Ozgur, et al.
Published: (2025)
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
by: Akgün, Özgür, et al.
Published: (2022)
by: Akgün, Özgür, et al.
Published: (2022)
Athanor: Local Search over Abstract Constraint Specifications
by: Attieh, Saad, et al.
Published: (2024)
by: Attieh, Saad, et al.
Published: (2024)
Solver-Aided Expansion of Loops to Avoid Generate-and-Test
by: Dewally, Niklas, et al.
Published: (2025)
by: Dewally, Niklas, et al.
Published: (2025)
The Winnability of Klondike Solitaire and Many Other Patience Games
by: Blake, Charlie, et al.
Published: (2019)
by: Blake, Charlie, et al.
Published: (2019)
Automatic Feature Learning for Essence: a Case Study on Car Sequencing
by: Pellegrino, Alessio, et al.
Published: (2024)
by: Pellegrino, Alessio, et al.
Published: (2024)
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables
by: Anders, Markus, et al.
Published: (2025)
by: Anders, Markus, et al.
Published: (2025)
Composable Constraint Models for Permutation Enumeration
by: Hoffmann, Ruth, et al.
Published: (2023)
by: Hoffmann, Ruth, et al.
Published: (2023)
A Framework for Generating Informative Benchmark Instances
by: Dang, Nguyen, et al.
Published: (2022)
by: Dang, Nguyen, et al.
Published: (2022)
Automatic Generation of Polynomial Symmetry Breaking Constraints
by: Erascu, Madalina, et al.
Published: (2026)
by: Erascu, Madalina, et al.
Published: (2026)
Symmetry-Breaking Augmentations for Ad Hoc Teamwork
by: Hammond, Ravi, et al.
Published: (2024)
by: Hammond, Ravi, et al.
Published: (2024)
Behaviour Planning: A Toolkit for Diverse Planning
by: Abdelwahed, Mustafa F, et al.
Published: (2024)
by: Abdelwahed, Mustafa F, et al.
Published: (2024)
From Stories to Cities to Games: A Qualitative Evaluation of Behaviour Planning
by: Abdelwahed, Mustafa F., et al.
Published: (2026)
by: Abdelwahed, Mustafa F., et al.
Published: (2026)
Diverse Planning with Simulators via Linear Temporal Logic
by: Abdelwahed, Mustafa F., et al.
Published: (2025)
by: Abdelwahed, Mustafa F., et al.
Published: (2025)
Equivariant Symmetry Breaking Sets
by: Xie, YuQing, et al.
Published: (2024)
by: Xie, YuQing, et al.
Published: (2024)
Learning Efficiency Meets Symmetry Breaking
by: Bai, Yingbin, et al.
Published: (2025)
by: Bai, Yingbin, et al.
Published: (2025)
Toward Cyclic A.I. Modelling of Self-Regulated Learning: A Case Study with E-Learning Trace Data
by: Schwabe, Andrew, et al.
Published: (2025)
by: Schwabe, Andrew, et al.
Published: (2025)
The Complexity of Symmetry Breaking Beyond Lex-Leader
by: Anders, Markus, et al.
Published: (2024)
by: Anders, Markus, et al.
Published: (2024)
AI Education in a Mirror: Challenges Faced by Academic and Industry Experts
by: Akgun, Mahir, et al.
Published: (2025)
by: Akgun, Mahir, et al.
Published: (2025)
Learning Adapter Rank via Symmetry Breaking
by: Doyle, Cooper, et al.
Published: (2025)
by: Doyle, Cooper, et al.
Published: (2025)
Discovering Symmetry Breaking in Physical Systems with Relaxed Group Convolution
by: Wang, Rui, et al.
Published: (2023)
by: Wang, Rui, et al.
Published: (2023)
FedLion: Faster Adaptive Federated Optimization with Fewer Communication
by: Tang, Zhiwei, et al.
Published: (2024)
by: Tang, Zhiwei, et al.
Published: (2024)
Structured Active Inference (Extended Abstract)
by: Smithe, Toby St Clere
Published: (2024)
by: Smithe, Toby St Clere
Published: (2024)
Late Breaking Results: Breaking Symmetry- Unconventional Placement of Analog Circuits using Multi-Level Multi-Agent Reinforcement Learning
by: Maji, Supriyo, et al.
Published: (2025)
by: Maji, Supriyo, et al.
Published: (2025)
Probing Equivariance and Symmetry Breaking in Convolutional Networks
by: Vadgama, Sharvaree, et al.
Published: (2025)
by: Vadgama, Sharvaree, et al.
Published: (2025)
LoopBench: Discovering Emergent Symmetry Breaking Strategies with LLM Swarms
by: Parsaee, Ali, et al.
Published: (2025)
by: Parsaee, Ali, et al.
Published: (2025)
Constrained Diffusion for Protein Design with Hard Structural Constraints
by: Christopher, Jacob K., et al.
Published: (2025)
by: Christopher, Jacob K., et al.
Published: (2025)
Faster Lifting for Ordered Domains with Predecessor Relations
by: Zou, Kuncheng, et al.
Published: (2025)
by: Zou, Kuncheng, et al.
Published: (2025)
Multi-Agent Constraint Factorization Reveals Latent Invariant Solution Structure
by: Scofield, Christopher
Published: (2026)
by: Scofield, Christopher
Published: (2026)
StructBreak: Structural Cognitive Overload-Induced Safety Failures in MLLMs
by: Luo, Yang, et al.
Published: (2026)
by: Luo, Yang, et al.
Published: (2026)
Breaking the Chain: A Causal Analysis of LLM Faithfulness to Intermediate Structures
by: Somov, Oleg, et al.
Published: (2026)
by: Somov, Oleg, et al.
Published: (2026)
Accelerating Task Generalisation with Multi-Level Skill Hierarchies
by: Cannon, Thomas P, et al.
Published: (2024)
by: Cannon, Thomas P, et al.
Published: (2024)
Hierarchical Orchestra of Policies
by: Cannon, Thomas P, et al.
Published: (2024)
by: Cannon, Thomas P, et al.
Published: (2024)
Symmetry Breaking in Neural Network Optimization: Insights from Input Dimension Expansion
by: Zhang, Jun-Jie, et al.
Published: (2024)
by: Zhang, Jun-Jie, et al.
Published: (2024)
The Query Channel: Information-Theoretic Limits of Masking-Based Explanations
by: Karakaya, Erciyes, et al.
Published: (2026)
by: Karakaya, Erciyes, et al.
Published: (2026)
Equivariant Flow Matching for Symmetry-Breaking Bifurcation Problems
by: Hendriks, Fleur, et al.
Published: (2025)
by: Hendriks, Fleur, et al.
Published: (2025)
FlexInfer: Breaking Memory Constraint via Flexible and Efficient Offloading for On-Device LLM Inference
by: Du, Hongchao, et al.
Published: (2025)
by: Du, Hongchao, et al.
Published: (2025)
Integrating Column Generation and Large Neighborhood Search for Bus Driver Scheduling with Complex Break Constraints
by: Kletzander, Lucas, et al.
Published: (2025)
by: Kletzander, Lucas, et al.
Published: (2025)
Breaking the Factorization Barrier in Diffusion Language Models
by: Li, Ian, et al.
Published: (2026)
by: Li, Ian, et al.
Published: (2026)
Domain-Independent Dynamic Programming with Constraint Propagation
by: Marijnissen, Imko, et al.
Published: (2026)
by: Marijnissen, Imko, et al.
Published: (2026)
Similar Items
-
Breaking the Symmetries of Indistinguishable Objects
by: Akgun, Ozgur, et al.
Published: (2025) -
TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models
by: Akgün, Özgür, et al.
Published: (2022) -
Athanor: Local Search over Abstract Constraint Specifications
by: Attieh, Saad, et al.
Published: (2024) -
Solver-Aided Expansion of Loops to Avoid Generate-and-Test
by: Dewally, Niklas, et al.
Published: (2025) -
The Winnability of Klondike Solitaire and Many Other Patience Games
by: Blake, Charlie, et al.
Published: (2019)