Solving linear arithmetic constraints for user interface applications

UIST (User Interface Software and Technology): Proceedings of the ACM Symposium

Volumn , Issue , 1997, Pages 87-96

  Borning, Alan ^a   Marriott, Kim ^a   Stuckey, Peter ^a   Xiao, Yi ^a  

^a MONASH UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; PROBLEM SOLVING;

LINEAR ARITHMETIC CONSTRAINTS; SIMPLEX ALGORITHM;

USER INTERFACES;

EID: 0030674975     PISSN: None     EISSN: None     Source Type: None    
DOI: 10.1145/263407.263518     Document Type: Conference Paper

References (21)