Constraint generation via automated theory formation

Simon Colton; Ian Miguel

Constraint generation via automated theory formation

Simon Colton, Ian Miguel

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

Original language	English
Title of host publication	Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings
Editors	Toby Walsh
Publisher	Springer
Pages	575-579
Number of pages	5
ISBN (Print)	3540428631, 9783540428633
Publication status	Published - 2001
Externally published	Yes
Event	International Conference on Principles and Practice of Constraint Programming 2001 - Paphos, Cyprus Duration: 26 Nov 2001 → 1 Dec 2001 Conference number: 7th

Publication series

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

Conference

Conference	International Conference on Principles and Practice of Constraint Programming 2001
Abbreviated title	CP 2001
Country/Territory	Cyprus
City	Paphos
Period	26/11/01 → 1/12/01

Cite this

Colton, S., & Miguel, I. (2001). Constraint generation via automated theory formation. In T. Walsh (Ed.), Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings (pp. 575-579). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2239). Springer.

Colton, Simon ; Miguel, Ian. / Constraint generation via automated theory formation. Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. editor / Toby Walsh. Springer, 2001. pp. 575-579 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{90e3577f103a45909300d41c707b4e79,

title = "Constraint generation via automated theory formation",

author = "Simon Colton and Ian Miguel",

year = "2001",

language = "English",

isbn = "3540428631",

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

publisher = "Springer",

pages = "575--579",

editor = "Toby Walsh",

booktitle = "Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings",

note = "International Conference on Principles and Practice of Constraint Programming 2001, CP 2001 ; Conference date: 26-11-2001 Through 01-12-2001",

}

Colton, S & Miguel, I 2001, Constraint generation via automated theory formation. in T Walsh (ed.), Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2239, Springer, pp. 575-579, International Conference on Principles and Practice of Constraint Programming 2001, Paphos, Cyprus, 26/11/01.

Constraint generation via automated theory formation. / Colton, Simon; Miguel, Ian.

Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. ed. / Toby Walsh. Springer, 2001. p. 575-579 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2239).

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

TY - GEN

T1 - Constraint generation via automated theory formation

AU - Colton, Simon

AU - Miguel, Ian

N1 - Conference code: 7th

PY - 2001

Y1 - 2001

UR - http://www.scopus.com/inward/record.url?scp=84947916612&partnerID=8YFLogxK

M3 - Conference Paper

AN - SCOPUS:84947916612

SN - 3540428631

SN - 9783540428633

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

SP - 575

EP - 579

BT - Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings

A2 - Walsh, Toby

PB - Springer

T2 - International Conference on Principles and Practice of Constraint Programming 2001

Y2 - 26 November 2001 through 1 December 2001

ER -

Colton S, Miguel I. Constraint generation via automated theory formation. In Walsh T, editor, Principles and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings. Springer. 2001. p. 575-579. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

Constraint generation via automated theory formation

Publication series

Conference

Other files and links

Cite this