My PhD thesis is devoted to a new method of
solving systems of linear constraints over the
real numbers - the Conflict Resolution method. The
method was developed at the department of
Computer Science at the University of Manchester
together with Prof. Andrei Voronkov and
Dr. Konstantin Korovin, in 2009.
We presented a paper on our method at the
Conference on Principles and Practice of
Constraint Programming CP 2009 (Lisbon, Portugal).
The paper was twice a prize winning, being awarded:
The Best PhD Paper Award 2009 at the School of Computer Science
at the University of Manchester
A Runner-Up as the Best Paper Prize at
the CP 2009 Conference