Name
Abstract | ||
|---|---|---|
The conflict resolution method, introduced by the authors in [4] is a new method for solving systems of linear inequalities over the rational and real numbers. This paper investigates various heuristics for optimisation of the method and presents experimental evaluation. The method and heuristics are evaluated against various benchmarks and compared to other methods, such as the Fourier-Motzkin elimination method and the simplex method. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1007/978-3-642-29709-0_31 | Ershov Memorial Conference |
Keywords | Field | DocType |
linear inequality,real number,fourier-motzkin elimination method,experimental evaluation,various heuristics,various benchmarks,implementing conflict resolution,new method,simplex method,conflict resolution method | Mathematical optimization,Simplex algorithm,Computer science,Conflict resolution,Algorithm,Heuristics,Linear inequality,Real number | Conference |
Citations | PageRank | References |
1 | 0.37 | 7 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Konstantin Korovin | 1 | 288 | 20.64 |
| Nestan Tsiskaridze | 2 | 41 | 3.55 |
| Andrei Voronkov | 3 | 2670 | 225.46 |