Journal article

The Cassowary Linear Arithmetic Constraint Solving Algorithm

GJ Badros, A Borning, PJ Stuckey

Association for Computing Machinery. Communications | Published : 2001

Citation metrics