Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa. Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain. In Hamid R. Arabnia, Rose Joshua, editors, Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 2. pages 627-636, CSREA Press, 2005.
@inproceedings{MabuchiAKI05,
title = {Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain},
author = {Hiroshi Mabuchi and Kiyoshi Akama and Hidekatsu Koike and Takahiko Ishikawa},
year = {2005},
tags = {constraints, transformation},
researchr = {https://researchr.org/publication/MabuchiAKI05},
cites = {0},
citedby = {0},
pages = {627-636},
booktitle = {Proceedings of the 2005 International Conference on Artificial Intelligence, ICAI 2005, Las Vegas, Nevada, USA, June 27-30, 2005, Volume 2},
editor = {Hamid R. Arabnia and Rose Joshua},
publisher = {CSREA Press},
isbn = {1-932415-67-X},
}