Speeding up SOR Solvers for Constraint-based GUIs with a Warm-Start Strategy.

Noreen Jamil Johannes Müller Christof Lutteroth Gerald Weber

Published in: CoRR (2014)

Keyphrases

graphical user interfaces
real time
artificial intelligence
computer vision
website
similarity measure
learning algorithm
database systems
constraint satisfaction
sat solvers
optimal strategy
cross sections