1986 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1986 2019

Filter
Conference article
2005

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

Bailey, J. & Stuckey, P. J., 1 Sep 2005, In : Lecture Notes in Computer Science. 3350, p. 174-186 13 p.

Research output: Contribution to journalConference articleResearchpeer-review

Testing for termination with monotonicity constraints

Codish, M., Lagoon, V. & Stuckey, P. J., 31 Oct 2005, In : Lecture Notes in Computer Science. 3668, p. 326-340 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

2004

Set bounds and (Split) set domain propagation using ROBDDs

Hawkins, P., Lagoon, V. & Stuckey, P. J., 1 Dec 2004, In : Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3339, p. 706-717 12 p.

Research output: Contribution to journalConference articleResearchpeer-review

2003

Efficient representation of Adhoc constraints

Cheng, K. C. K., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, In : IJCAI International Joint Conference on Artificial Intelligence. p. 1368-1369 2 p.

Research output: Contribution to journalConference articleOtherpeer-review

Improving Nogood Recording using 2SAT

Stuckey, P. J. & Zheng, L., 16 Dec 2003, In : Proceedings of the International Conference on Tools with Artificial Intelligence. p. 94-99 6 p.

Research output: Contribution to journalConference articleResearchpeer-review

Propagation redundancy for permutation channels

Choi, C. W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2003, In : IJCAI International Joint Conference on Artificial Intelligence. p. 1370-1371 2 p.

Research output: Contribution to journalConference articleOtherpeer-review

1998

Lagrangian reconstruction of a class of local search methods

Choi, K. M. F., Lee, J. H. M. & Stuckey, P. J., 1 Dec 1998, In : Proceedings of the International Conference on Tools with Artificial Intelligence. p. 166-175 10 p.

Research output: Contribution to journalConference articleResearchpeer-review

1997

Extending EGENET with lazy constraint consistency

Stuckey, P. & Tam, V., 1 Dec 1997, In : Proceedings of the International Conference on Tools with Artificial Intelligence. p. 248-257 10 p.

Research output: Contribution to journalConference articleResearchpeer-review