Journal article

The Cassowary Linear Arithmetic Constraint Solving Algorithm

GJ Badros, A Borning, PJ Stuckey

Association for Computing Machinery. Communications | Published : 2001

DOI: 10.1145/504704.504705

University of Melbourne Researchers

Peter Stuckey Author Computing and Information Systems

Citation metrics