Adding constraint solving to Mercury

Ralph Becket; Maria Jose Garcia De La Banda; Kimbal George Marriott; Zoltan Somogyi; Peter J Stuckey; Mark Wallace

doi:10.1007/11603023_9

Adding constraint solving to Mercury

Ralph Becket, Maria Jose Garcia De La Banda, Kimbal George Marriott, Zoltan Somogyi, Peter J Stuckey, Mark Wallace

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Original language	English
Title of host publication	Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006)
Editors	Pascal Van Hentenryck
Place of Publication	Germany
Publisher	Springer-Verlag London Ltd.
Pages	118 - 133
Number of pages	16
Volume	3819
DOIs	https://doi.org/10.1007/11603023_9
Publication status	Published - 2006
Event	International Symposium on Practical Aspects of Declarative Languages 2006 - Charleston United States of America, Germany Duration: 1 Jan 2006 → …

Conference

Conference	International Symposium on Practical Aspects of Declarative Languages 2006
City	Germany
Period	1/01/06 → …

Access to Document

10.1007/11603023_9

Cite this

@inproceedings{c6c2d44d24dd4feb82bf6e3e0fd2f965,

title = "Adding constraint solving to Mercury",

author = "Ralph Becket and {Garcia De La Banda}, {Maria Jose} and Marriott, {Kimbal George} and Zoltan Somogyi and Stuckey, {Peter J} and Mark Wallace",

year = "2006",

doi = "10.1007/11603023_9",

language = "English",

volume = "3819",

pages = "118 -- 133",

editor = "{Van Hentenryck}, Pascal",

booktitle = "Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006)",

publisher = "Springer-Verlag London Ltd.",

address = "Germany",

note = "International Symposium on Practical Aspects of Declarative Languages 2006 ; Conference date: 01-01-2006",

}

Becket, R, Garcia De La Banda, MJ , Marriott, KG, Somogyi, Z, Stuckey, PJ & Wallace, M 2006, Adding constraint solving to Mercury. in P Van Hentenryck (ed.), Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006). vol. 3819, Springer-Verlag London Ltd., Germany, pp. 118 - 133, International Symposium on Practical Aspects of Declarative Languages 2006, Germany, 1/01/06. https://doi.org/10.1007/11603023_9

Adding constraint solving to Mercury. / Becket, Ralph; Garcia De La Banda, Maria Jose ; Marriott, Kimbal George et al.
Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006). ed. / Pascal Van Hentenryck. Vol. 3819 Germany: Springer-Verlag London Ltd., 2006. p. 118 - 133.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Adding constraint solving to Mercury

AU - Becket, Ralph

AU - Garcia De La Banda, Maria Jose

AU - Marriott, Kimbal George

AU - Somogyi, Zoltan

AU - Stuckey, Peter J

AU - Wallace, Mark

PY - 2006

Y1 - 2006

UR - http://www.springerlink.com/content/p77181q214w6pn65/

U2 - 10.1007/11603023_9

DO - 10.1007/11603023_9

M3 - Conference Paper

VL - 3819

SP - 118

EP - 133

BT - Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006)

A2 - Van Hentenryck, Pascal

PB - Springer-Verlag London Ltd.

CY - Germany

T2 - International Symposium on Practical Aspects of Declarative Languages 2006

Y2 - 1 January 2006

ER -

Adding constraint solving to Mercury

Conference

Access to Document

Other files and links

Cite this