Variable symmetry breaking in numerical constraint problems (Q900305): Difference between revisions

@@ Property / author @@
-Alexandre Goldsztejn
@@ Property / author: Alexandre Goldsztejn / rank @@
-Normal rank
@@ Property / author @@
+Alexandre Goldsztejn
@@ Property / author: Alexandre Goldsztejn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RealPaver
@@ Property / describes a project that uses: RealPaver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Traces
@@ Property / describes a project that uses: Traces / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2015.08.006
+Normal rank
@@ Property / OpenAlex ID @@
+W1195068634
@@ Property / OpenAlex ID: W1195068634 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval propagation and search on directed acyclic graphs for numerical constraint solving
+Normal rank
@@ Property / cites work @@
+Interval Analysis for Certified Numerical Solution of Problems in Robotics
+Normal rank
@@ Property / cites work @@
+Parameterized Complexity Results in Symmetry Breaking
+Normal rank
@@ Property / cites work @@
+Exploiting symmetries within constraint satisfaction search
+Normal rank
@@ Property / cites work @@
+Symmetry breaking revisited
@@ Property / cites work: Symmetry breaking revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624191
@@ Property / cites work: Q3624191 / rank @@
+Normal rank
@@ Property / cites work @@
+Reformulations in mathematical programming: automatic symmetry detection and exploitation
+Normal rank
@@ Property / cites work @@
+Stabilizer-based symmetry breaking constraints for mathematical programs
+Normal rank
@@ Property / cites work @@
+Q2861569
@@ Property / cites work: Q2861569 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry definitions for constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Propagation algorithms for lexicographic ordering constraints
+Normal rank
@@ Property / cites work @@
+The Transitive Reduction of a Directed Graph
@@ Property / cites work: The Transitive Reduction of a Directed Graph / rank @@
+Normal rank
@@ Property / cites work @@
+Q5617749
@@ Property / cites work: Q5617749 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical graph isomorphism. II.
@@ Property / cites work: Practical graph isomorphism. II. / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Domains for Integer Programs with Symmetries
+Normal rank
@@ Property / cites work @@
+Signed fundamental domains for totally real number fields
+Normal rank
@@ Property / cites work @@
+Algorithm 852
@@ Property / cites work: Algorithm 852 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetry in Integer Linear Programming
@@ Property / cites work: Symmetry in Integer Linear Programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:900305