Conflict resolution

This thesis proposes a new method for solving systems of linear constraints over the rational and real numbers (or, equivalently, linear programming) - the conflict resolution method. The method is a new approach to a classic problem in mathematics and computer science, that has been known since the...

Full description

Bibliographic Details
Main Author: Tsiskaridze, Nestan
Other Authors: Voronkov, Andrei
Published: University of Manchester 2011
Subjects:
Online Access:http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548679