Sign in

Solving Linear Arithmetic Constraints for User Interface Applications.

Alan BorningKim MarriottPeter J. StuckeyYi Xiao
Published in: ACM Symposium on User Interface Software and Technology (1997)
Keyphrases
  • user interface
  • linear arithmetic constraints
  • linear programming
  • combinatorial optimization
  • sat encodings
  • database
  • search algorithm
  • expert systems