SMT-Layout encodes GUI layout hierarchies as Boolean visibility constraints and uses SMT preprocessing and incremental solving to adapt a single specification to many screen sizes in milliseconds.
In: Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, pp
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2024 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
SMT-Layout: A MaxSMT-based Approach Supporting Real-time Interaction of Real-world GUI Layout
SMT-Layout encodes GUI layout hierarchies as Boolean visibility constraints and uses SMT preprocessing and incremental solving to adapt a single specification to many screen sizes in milliseconds.