Sciweavers

439 search results - page 14 / 88
» Choiceless Computation and Symmetry
Sort
View
COCOA
2007
Springer
15 years 3 months ago
Fundamental Domains for Integer Programs with Symmetries
We define a fundamental domain for a linear programming relaxation of a combinatorial integer program which is symmetric under a group action. We then describe a straightforward w...
Eric J. Friedman
ECCV
2002
Springer
15 years 11 months ago
A Fast Radial Symmetry Transform for Detecting Points of Interest
A new feature detection technique is presented that utilises local radial symmetry to identify regions of interest within a scene. This transform is significantly faster than exist...
Gareth Loy, Alexander Zelinsky
CP
2005
Springer
15 years 3 months ago
Breaking All Value Symmetries in Surjection Problems
We propose a surprisingly simple new way of breaking all value symmetries with constraints. Our method requires the addition of one variable per value of the problem plus a linear ...
Jean-Francois Puget
77
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
14 years 8 months ago
Parameterized Complexity Results in Symmetry Breaking
Abstract. Symmetry is a common feature of many combinatorial problems. Unfortunately eliminating all symmetry from a problem is often computationally intractable. This paper argues...
Toby Walsh
AIPS
2003
14 years 11 months ago
Symmetry Reduction for SAT Representations of Transition Systems
Symmetries are inherent in systems that consist of several interchangeable objects or components. When reasoning about such systems, big computational savings can be obtained if t...
Jussi Rintanen