Re: Question: constraint terminology

Date: 03 Jul 1995 09:27:39 GMT
Organization: University Koblenz / Germany

@Article{David:95,
author = "Philippe David",
title = "{Using Pivot Consistency to Decompose and Solve
	 Functional CSPs}",
journal = "Journal of Artificial Intelligence Research",
year = 1995,
volume = 2,
pages = "447--474",
month = "May",
note = "AI Access Foundation and Morgan Kaufmann Publishers"
}

@InProceedings{Dechter:vanBeek:95,
author = "Rina Dechter and Peter {van Beek}",
title = "{Local and Global Relational Consistency---Summary
	 of Recent Results}",
editor = "Ugo Montanari",
series = "Lecture Notes in Computer Science",
booktitle = "Principles and Practice of Con\-straint Programming",
year = "1995",
publisher = "Proceedings, Springer-Verlag, Berlin/Heidel\-berg",
month = "September 19-22,",
note = "CP95, First International Conference, Cassis, France",
}

@InProceedings{Haroud:Faltings:PPCP94,
author = "Djamila Haroud and Boi Faltings",
title = "{Global Consistency for Continuous Constraints}",
editor = "Alan Borning",
volume = "874",
series = "Lecture Notes in Computer Science",
pages = "40--50",
booktitle = "Principles and Practice of Con\-straint Programming",
year = "1994",
publisher = "Proceedings, Springer-Verlag, Berlin/Heidel\-berg",
month = "May 2-4,",
note = "Second International Workshop, PPCP '94,
Rosario, Orcas Island, WA, USA",
}

@InProceedings{Jeavons:et:al:95,
author = "Peter Jeavons and David Cohen and Marc Gyssens",
title = "{A Unifying Framework for Tractable Constraints}",
editor = "Ugo Montanari",
series = "Lecture Notes in Computer Science",
booktitle = "Principles and Practice of Con\-straint Programming",
year = "1995",
publisher = "Proceedings, Springer-Verlag, Berlin/Heidel\-berg",
month = "September 19-22,",
note = "CP95, First International Conference, Cassis, France",
}

@InProceedings{Liu:95,
author = "Bing Liu",
title = "{Increasing Functional Constraints Need to Be Checked Only Once}",
booktitle = "{IJCAI-95, Proceedings of the Fourteenth International
	Joint Conference on Artificial Intelligence}",
year = "1995",
editor = "Chris Mellish",
organization = "IJCAII",
address = "Montr{\'{e}}al, Qu{\'{e}}bec, Canada",
month = "August 20--25,",
note = "Distributed by Morgan Kaufmann Publishers, Inc., San
	 Francisco, California, USA"
}

>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

Abderrahmane Aggoun (aggoun@cosytec.fr) sent the following references by
email to Peter, concerning global constraints in CHIP:

@Article{Aggoun:Beldiceanu:93,
author = "Abderrahmane Aggoun and Nicolas Beldiceanu",
title = "{Extending CHIP in order to solve complex scheduling and
placement problems}",
journal = "Mathl. Comput. Modelling",
year = 1993,
volume = 17,
month = "no. 7",
pages = "57--73",
}

@Article{Beldiceanu:Contejean:94,
author = "N. Beldiceanu and E. Contejean",
title = "{Introducing global constraints in CHIP}",
journal = "Mathl. Comput. Modelling",
year = 1994,
volume = 20,
month = "no. 12",
pages = "97--123",
}