Resource usage verification

by Marriott, K., Stuckey, P.J., Sulzmann, M.
Published 2013

Removing node overlapping in graph layout using constrained optimization

by Marriott, K., Stuckey, P., Tam, V., He, W.
Published 2013

The semantics of constraint logic programs

by Jaffar, J., Maher, M., Marriott, K., Stuckey, P.
Published 2014

Optimizing compilation of CLP(R)

by Kelly, A.D., Marriott, K., Macdonald, A., Stuckey, P.J., Yap, R.
Published 2014