Implementing conflict resolution

Konstantin Korovin, Nestan Tsiskaridze, Andrei Voronkov

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    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. © 2012 Springer-Verlag Berlin Heidelberg.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages362-376
    Number of pages14
    Volume7162
    ISBN (Print)9783642297083
    DOIs
    Publication statusPublished - 2012
    Event8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011 - Novosibirsk
    Duration: 1 Jul 2012 → …

    Conference

    Conference8th International Ershov Informatics Conference on Perspectives of System Informatics, PSI 2011
    CityNovosibirsk
    Period1/07/12 → …

    Keywords

    • Solving systems of liniear inequalities

    Fingerprint

    Dive into the research topics of 'Implementing conflict resolution'. Together they form a unique fingerprint.

    Cite this