PPT Slide
1. Cumulated sums 2. Feet limitations 3. for all possible foot configuration 3.1. Spine 3.2. Filling operations 3.3. if (? si,j?Shell\Kernel) then if (? si,j=1 in each row or column) then Evaluation procedure else for k, l = 1, …, m { • Construct the corresponding 2SAT expression • Evaluate the constructed 2SAT expression }
Complexity: O(mn min{m2, n2})