Inproceedings,
CLP(Intervals) Revisited.
F. Benhamou, D. McAllester, and P. Hentenryck.ILPS, page 124-138. MIT Press, (1994)
Meta data
- BibTeX key
- conf/slp/BenhamouMH94
- entry type
- inproceedings
- booktitle
- ILPS
- year
- 1994
- pages
- 124-138
- publisher
- MIT Press
- crossref
- conf/slp/1994
- isbn
- 0-262-52191-1
- url
- http://dblp.uni-trier.de/db/conf/slp/slp94.html#BenhamouMH94
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/slp/BenhamouMH94
%A Benhamou, Frédéric
%A McAllester, David A.
%A Hentenryck, Pascal Van
%B ILPS
%D 1994
%E Bruynooghe, Maurice
%I MIT Press
%K dblp
%P 124-138
%T CLP(Intervals) Revisited.
%U http://dblp.uni-trier.de/db/conf/slp/slp94.html#BenhamouMH94
%@ 0-262-52191-1
@inproceedings{conf/slp/BenhamouMH94,
added-at = {2013-12-04T00:00:00.000+0100},
author = {Benhamou, Frédéric and McAllester, David A. and Hentenryck, Pascal Van},
biburl = {https://www.bibsonomy.org/bibtex/27ea92529f2d6de41655b24d235c68a89/dblp},
booktitle = {ILPS},
crossref = {conf/slp/1994},
editor = {Bruynooghe, Maurice},
interhash = {fb2aaa136a1c58dc06c359fc624d4149},
intrahash = {7ea92529f2d6de41655b24d235c68a89},
isbn = {0-262-52191-1},
keywords = {dblp},
pages = {124-138},
publisher = {MIT Press},
timestamp = {2013-12-05T11:34:43.000+0100},
title = {CLP(Intervals) Revisited.},
url = {http://dblp.uni-trier.de/db/conf/slp/slp94.html#BenhamouMH94},
year = 1994
}