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

    71 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
    Country/TerritoryCanada
    CityBanff
    Period14/10/9717/10/97
    Internet address

    Cite this