Solving linear arithmetic constraints for user interface applications

Alan Borning, Kim Marriott, Peter J Stuckey, Yi Xiao

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    70 Citations (Scopus)
    Original languageEnglish
    Title of host publicationUIST'97 Proceedings of the ACM Symposium on User Interface Software and Technology
    Place of PublicationNew York NY USA
    PublisherAssociation for Computing Machinery (ACM)
    Pages87 - 96
    Number of pages10
    ISBN (Print)0-89791-881-9
    Publication statusPublished - 1997
    EventACM Symposium on User Interface Software and Technology 1997 - Banff, Canada
    Duration: 14 Oct 199717 Oct 1997
    Conference number: 10th
    https://dl.acm.org/doi/proceedings/10.1145/263407

    Conference

    ConferenceACM Symposium on User Interface Software and Technology 1997
    Abbreviated titleUIST 1997
    CountryCanada
    CityBanff
    Period14/10/9717/10/97
    Internet address

    Cite this