Constraint generation via automated theory formation

Simon Colton, Ian Miguel

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

17 Citations (Scopus)
Original languageEnglish
Title of host publicationPrinciples and Practice of Constraint Programming - CP 2001 - 7th International Conference, CP 2001, Proceedings
EditorsToby Walsh
PublisherSpringer
Pages575-579
Number of pages5
ISBN (Print)3540428631, 9783540428633
Publication statusPublished - 2001
Externally publishedYes
EventInternational Conference on Principles and Practice of Constraint Programming 2001 - Paphos, Cyprus
Duration: 26 Nov 20011 Dec 2001
Conference number: 7th

Publication series

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

Conference

ConferenceInternational Conference on Principles and Practice of Constraint Programming 2001
Abbreviated titleCP 2001
CountryCyprus
CityPaphos
Period26/11/011/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.