%0 Conference Paper %1 conf/uist/BorningMSX97 %A Borning, Alan %A Marriott, Kim %A Stuckey, Peter J. %A Xiao, Yi %B ACM Symposium on User Interface Software and Technology %D 1997 %E Robertson, George G. %E Schmandt, Chris %I ACM %K dblp %P 87-96 %T Solving Linear Arithmetic Constraints for User Interface Applications. %U http://dblp.uni-trier.de/db/conf/uist/uist1997.html#BorningMSX97 %@ 0-89791-881-9

@inproceedings{conf/uist/BorningMSX97, added-at = {2018-11-06T00:00:00.000+0100}, author = {Borning, Alan and Marriott, Kim and Stuckey, Peter J. and Xiao, Yi}, biburl = {https://www.bibsonomy.org/bibtex/2d0069eb6071fe0fdc9b58bbd3e0e9e93/dblp}, booktitle = {ACM Symposium on User Interface Software and Technology}, crossref = {conf/uist/1997}, editor = {Robertson, George G. and Schmandt, Chris}, ee = {https://doi.org/10.1145/263407.263518}, interhash = {9f717d4091c27b33114ec6d03fedc6de}, intrahash = {d0069eb6071fe0fdc9b58bbd3e0e9e93}, isbn = {0-89791-881-9}, keywords = {dblp}, pages = {87-96}, publisher = {ACM}, timestamp = {2018-11-07T13:48:54.000+0100}, title = {Solving Linear Arithmetic Constraints for User Interface Applications.}, url = {http://dblp.uni-trier.de/db/conf/uist/uist1997.html#BorningMSX97}, year = 1997 }