Sciweavers

1998 search results - page 253 / 400
» Complexity of the Cover Polynomial
Sort
View
98
Voted
GECCO
2008
Springer
156views Optimization» more  GECCO 2008»
15 years 1 months ago
Computing minimum cuts by randomized search heuristics
We study the minimum s-t-cut problem in graphs with costs on the edges in the context of evolutionary algorithms. Minimum cut problems belong to the class of basic network optimiz...
Frank Neumann, Joachim Reichel, Martin Skutella
107
Voted
AAECC
2010
Springer
132views Algorithms» more  AAECC 2010»
15 years 29 days ago
On the geometry of polar varieties
The aim of this paper is a comprehensive presentation of the geometrical tools which are necessary to prove the correctness of several up to date algorithms with intrinsic complex...
Bernd Bank, Marc Giusti, Joos Heintz, Mohab Safey ...
110
Voted
APAL
2008
84views more  APAL 2008»
15 years 29 days ago
Resolution over linear equations and multilinear proofs
We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead ...
Ran Raz, Iddo Tzameret
78
Voted
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 28 days ago
Triangular Decomposition of Semi-algebraic Systems
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations o...
Changbo Chen, James H. Davenport, John P. May, Mar...
130
Voted
CONSTRAINTS
2008
138views more  CONSTRAINTS 2008»
15 years 28 days ago
Minimization of Locally Defined Submodular Functions by Optimal Soft Arc Consistency
Submodular function minimization is a polynomially-solvable combinatorial problem. Unfortunately the best known general-purpose algorithms have high-order polynomial time complexi...
Martin C. Cooper