MINION: A Fast, Scalable, Constraint Solver

Ian Philip Gent; C A Jefferson; Ian James Miguel

MINION: A Fast, Scalable, Constraint Solver

Ian Philip Gent, C A Jefferson, Ian James Miguel

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	ECAI 2006: 17th European Conference on Artificial Intelligence
Subtitle of host publication	August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin
Editors	G Brewka, S Coradeschi, A Perini, P Traverso
Publisher	IOS Press
Pages	98-102
Number of pages	5
ISBN (Print)	1-58603-642-4
Publication status	Published - 2006
Event	17th European Conference on Artificial Intelligence - Riva del Garda, Italy Duration: 29 Aug 2006 → 1 Sept 2006

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	141

Conference

Conference	17th European Conference on Artificial Intelligence
Country/Territory	Italy
City	Riva del Garda
Period	29/08/06 → 1/09/06

Cite this

Gent, I. P., Jefferson, C. A., & Miguel, I. J. (2006). MINION: A Fast, Scalable, Constraint Solver. In G. Brewka, S. Coradeschi, A. Perini, & P. Traverso (Eds.), ECAI 2006: 17th European Conference on Artificial Intelligence: August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin (pp. 98-102). (Frontiers in Artificial Intelligence and Applications; Vol. 141). IOS Press.

Gent, Ian Philip ; Jefferson, C A ; Miguel, Ian James. / MINION: A Fast, Scalable, Constraint Solver. ECAI 2006: 17th European Conference on Artificial Intelligence: August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin. editor / G Brewka ; S Coradeschi ; A Perini ; P Traverso. IOS Press, 2006. pp. 98-102 (Frontiers in Artificial Intelligence and Applications).

@inproceedings{42999b5d630a4a069a118f2ae903714f,

title = "MINION: A Fast, Scalable, Constraint Solver",

author = "Gent, \{Ian Philip\} and Jefferson, \{C A\} and Miguel, \{Ian James\}",

note = "ECAI 2006: 17th European Conference on Artificial Intelligence, Riva del Garda; 17th European Conference on Artificial Intelligence ; Conference date: 29-08-2006 Through 01-09-2006",

year = "2006",

language = "English",

isbn = "1-58603-642-4",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "98--102",

editor = "G Brewka and S Coradeschi and A Perini and P Traverso",

booktitle = "ECAI 2006: 17th European Conference on Artificial Intelligence",

address = "Netherlands",

}

Gent, IP, Jefferson, CA & Miguel, IJ 2006, MINION: A Fast, Scalable, Constraint Solver. in G Brewka, S Coradeschi, A Perini & P Traverso (eds), ECAI 2006: 17th European Conference on Artificial Intelligence: August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin. Frontiers in Artificial Intelligence and Applications, vol. 141, IOS Press, pp. 98-102, 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 29/08/06.

MINION: A Fast, Scalable, Constraint Solver. / Gent, Ian Philip; Jefferson, C A; Miguel, Ian James.
ECAI 2006: 17th European Conference on Artificial Intelligence: August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin. ed. / G Brewka; S Coradeschi; A Perini; P Traverso. IOS Press, 2006. p. 98-102 (Frontiers in Artificial Intelligence and Applications; Vol. 141).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - MINION: A Fast, Scalable, Constraint Solver

AU - Gent, Ian Philip

AU - Jefferson, C A

AU - Miguel, Ian James

N1 - ECAI 2006: 17th European Conference on Artificial Intelligence, Riva del Garda

PY - 2006

Y1 - 2006

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

M3 - Conference contribution

SN - 1-58603-642-4

T3 - Frontiers in Artificial Intelligence and Applications

SP - 98

EP - 102

BT - ECAI 2006: 17th European Conference on Artificial Intelligence

A2 - Brewka, G

A2 - Coradeschi, S

A2 - Perini, A

A2 - Traverso, P

PB - IOS Press

T2 - 17th European Conference on Artificial Intelligence

Y2 - 29 August 2006 through 1 September 2006

ER -

Gent IP, Jefferson CA, Miguel IJ. MINION: A Fast, Scalable, Constraint Solver. In Brewka G, Coradeschi S, Perini A, Traverso P, editors, ECAI 2006: 17th European Conference on Artificial Intelligence: August 29-September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedin. IOS Press. 2006. p. 98-102. (Frontiers in Artificial Intelligence and Applications).

MINION: A Fast, Scalable, Constraint Solver

Publication series

Conference

Other files and links

EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications

Cite this

MINION: A Fast, Scalable, Constraint Solver

Publication series

Conference

Other files and links

Projects

EP/C523229/1: Multidisciplinary Critical Mass in Computational Algebra and Applications

Cite this