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.
ACM Transactions on Computer-Human Interaction (TOCHI) 8(4), 267–306 (2001)
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.