Resource usage verification

由 Marriott, K., Stuckey, P.J., Sulzmann, M.
出版 2013

Removing node overlapping in graph layout using constrained optimization

由 Marriott, K., Stuckey, P., Tam, V., He, W.
出版 2013

The semantics of constraint logic programs

由 Jaffar, J., Maher, M., Marriott, K., Stuckey, P.
出版 2014

Optimizing compilation of CLP(R)

由 Kelly, A.D., Marriott, K., Macdonald, A., Stuckey, P.J., Yap, R.
出版 2014