1: \begin{abstract}

2: The Kaczmarz method is an iterative method for solving large systems of equations that projects iterates orthogonally onto the solution space of each equation.

3: In contrast to direct methods such as Gaussian elimination or QR-factorization, this algorithm is efficient for problems with sparse matrices, as they appear in constraint-based user interface (UI) layout specifications.

4: However, the Kaczmarz method as described in the literature has its limitations:

5: it considers only equality constraints and does not support soft constraints, which makes it inapplicable to the UI layout problem.

6: 

7: In this paper we extend the Kaczmarz method for solving specifications containing soft constraints, using the prioritized IIS detection algorithm.

8: Furthermore, the performance and convergence of the proposed algorithms are evaluated empirically using randomly generated UI layout specifications of various sizes.

9: The results show that these methods offer improvements in performance over standard methods like Matlab's LINPROG, a well-known efficient linear programming solver.

10: \end{abstract}

11: