The CHIP system: Constraint handling in Prolog

M. Dincbas; P. Van Hentenryck; H. Simonis; A. Aggoun; A. Herold

doi:10.1007/BFb0012892

The CHIP system: Constraint handling in Prolog

M. Dincbas
, P. Van Hentenryck
, H. Simonis
, A. Aggoun
, A. Herold

European Computer-Industry Research Centre

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

Original language	English
Title of host publication	9th International Conference on Automated Deduction, Proceedings
Editors	Ewing Lusk, Ross Overbeek
Publisher	Springer Verlag
Pages	774-775
Number of pages	2
ISBN (Print)	9783540193432
DOIs	https://doi.org/10.1007/BFb0012892
Publication status	Published - 1988
Externally published	Yes
Event	9th International Conference on Automated Deduction, CADE 1988 - Argonne, United States Duration: 23 May 1988 → 26 May 1988

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	310 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	9th International Conference on Automated Deduction, CADE 1988
Country/Territory	United States
City	Argonne
Period	23/05/88 → 26/05/88

Access to Document

10.1007/BFb0012892

Cite this

Dincbas, M., Van Hentenryck, P., Simonis, H., Aggoun, A., & Herold, A. (1988). The CHIP system: Constraint handling in Prolog. In E. Lusk, & R. Overbeek (Eds.), 9th International Conference on Automated Deduction, Proceedings (pp. 774-775). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 310 LNCS). Springer Verlag. https://doi.org/10.1007/BFb0012892

Dincbas, M. ; Van Hentenryck, P. ; Simonis, H. et al. / The CHIP system : Constraint handling in Prolog. 9th International Conference on Automated Deduction, Proceedings. editor / Ewing Lusk ; Ross Overbeek. Springer Verlag, 1988. pp. 774-775 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{79ce2ab7dd8f4637a371e416144278f1,

title = "The CHIP system: Constraint handling in Prolog",

author = "M. Dincbas and \{Van Hentenryck\}, P. and H. Simonis and A. Aggoun and A. Herold",

year = "1988",

doi = "10.1007/BFb0012892",

language = "English",

isbn = "9783540193432",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "774--775",

editor = "Ewing Lusk and Ross Overbeek",

booktitle = "9th International Conference on Automated Deduction, Proceedings",

address = "Germany",

note = "9th International Conference on Automated Deduction, CADE 1988 ; Conference date: 23-05-1988 Through 26-05-1988",

}

Dincbas, M, Van Hentenryck, P, Simonis, H, Aggoun, A & Herold, A 1988, The CHIP system: Constraint handling in Prolog. in E Lusk & R Overbeek (eds), 9th International Conference on Automated Deduction, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 310 LNCS, Springer Verlag, pp. 774-775, 9th International Conference on Automated Deduction, CADE 1988, Argonne, United States, 23/05/88. https://doi.org/10.1007/BFb0012892

The CHIP system: Constraint handling in Prolog. / Dincbas, M.; Van Hentenryck, P.; Simonis, H. et al.
9th International Conference on Automated Deduction, Proceedings. ed. / Ewing Lusk; Ross Overbeek. Springer Verlag, 1988. p. 774-775 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 310 LNCS).

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

TY - GEN

T1 - The CHIP system

T2 - 9th International Conference on Automated Deduction, CADE 1988

AU - Dincbas, M.

AU - Van Hentenryck, P.

AU - Simonis, H.

AU - Aggoun, A.

AU - Herold, A.

PY - 1988

Y1 - 1988

UR - https://www.scopus.com/pages/publications/34250757984

U2 - 10.1007/BFb0012892

DO - 10.1007/BFb0012892

M3 - Conference proceeding

AN - SCOPUS:34250757984

SN - 9783540193432

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 774

EP - 775

BT - 9th International Conference on Automated Deduction, Proceedings

A2 - Lusk, Ewing

A2 - Overbeek, Ross

PB - Springer Verlag

Y2 - 23 May 1988 through 26 May 1988

ER -

Dincbas M, Van Hentenryck P, Simonis H, Aggoun A, Herold A. The CHIP system: Constraint handling in Prolog. In Lusk E, Overbeek R, editors, 9th International Conference on Automated Deduction, Proceedings. Springer Verlag. 1988. p. 774-775. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/BFb0012892

The CHIP system: Constraint handling in Prolog

Publication series

Conference

Access to Document

Other files and links

Cite this