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. © 2012 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Korovin, K., Tsiskaridze, N., & Voronkov, A. (2012). Implementing conflict resolution. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7162 LNCS, pp. 362–376). https://doi.org/10.1007/978-3-642-29709-0_31
Mendeley helps you to discover research relevant for your work.