Pages that link to "Item:Q3524199"
From MaRDI portal
The following pages link to Automatic Detection of Variable and Value Symmetries (Q3524199):
Displayed 22 items.
- Using dual presolving reductions to reformulate cumulative constraints (Q487651) (← links)
- Symmetry definitions for constraint satisfaction problems (Q850464) (← links)
- Predicting and detecting symmetries in FOL finite model search (Q861703) (← links)
- Global constraint catalogue: past, present and future (Q879974) (← links)
- Static and dynamic structural symmetry breaking (Q976989) (← links)
- A parametric filtering algorithm for the graph isomorphism problem (Q1020495) (← links)
- On implementing symmetry detection (Q1037637) (← links)
- A computational comparison of symmetry handling methods for mixed integer programs (Q1741126) (← links)
- Orbital shrinking: theory and applications (Q1786877) (← links)
- Algorithms for highly symmetric linear and integer programs (Q1942261) (← links)
- Pairwise symmetry reasoning for multi-agent path finding search (Q2060696) (← links)
- Lifting symmetry breaking constraints with inductive logic programming (Q2163186) (← links)
- Compiling CP subproblems to MDDs and d-DNNFs (Q2331104) (← links)
- Dominance breaking constraints (Q2342647) (← links)
- A method for detecting symmetries in constraint models and its generalisation (Q2342650) (← links)
- Computing symmetry groups of polyhedra (Q2827288) (← links)
- Symmetry in Mathematical Programming (Q2897300) (← links)
- Breaking Symmetry of Interchangeable Variables and Values (Q3523071) (← links)
- Fundamental Domains for Symmetric Optimization: Construction and Search (Q5003215) (← links)
- Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems (Q5038464) (← links)
- A Novel Approach For Detecting Symmetries in CSP Models (Q5387629) (← links)
- Automated streamliner portfolios for constraint satisfaction problems (Q6161503) (← links)