Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.
P. Deransart, M. Hermenegildo, and J. Maluszynski. Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 1-20. Springer, (2000)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/discipl/DeransartHM00
%A Deransart, Pierre
%A Hermenegildo, Manuel V.
%A Maluszynski, Jan
%B Analysis and Visualization Tools for Constraint Programming
%D 2000
%E Deransart, Pierre
%E Hermenegildo, Manuel V.
%E Maluszynski, Jan
%I Springer
%K dblp
%P 1-20
%T Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.
%U http://dblp.uni-trier.de/db/conf/discipl/discipl2000.html#DeransartHM00
%V 1870
%@ 3-540-41137-2
@inproceedings{conf/discipl/DeransartHM00,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Deransart, Pierre and Hermenegildo, Manuel V. and Maluszynski, Jan},
biburl = {https://www.bibsonomy.org/bibtex/2c00858badbdb9e207c8036ae5508aacc/dblp},
booktitle = {Analysis and Visualization Tools for Constraint Programming},
crossref = {conf/discipl/2000},
editor = {Deransart, Pierre and Hermenegildo, Manuel V. and Maluszynski, Jan},
ee = {https://doi.org/10.1007/10722311_1},
interhash = {5a7362841253ee39190570761dc23ec5},
intrahash = {c00858badbdb9e207c8036ae5508aacc},
isbn = {3-540-41137-2},
keywords = {dblp},
pages = {1-20},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2017-05-25T12:31:01.000+0200},
title = {Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction.},
url = {http://dblp.uni-trier.de/db/conf/discipl/discipl2000.html#DeransartHM00},
volume = 1870,
year = 2000
}