×

MINION

swMATH ID: 10176
Software Authors: Jefferson, C., Kotthoff, L., Moore, N., Nightingale, P., Petrie, K.E., Rendl, A.
Description: MINION is a new constraint solver, which is very fast and scales well as problem size increases. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits. These gains increase with problem size — MINION delivers scalable constraint solving. MINION is a general-purpose constraint solver, with an expressive input language based on the common constraint modelling device of matrix models. Focussing on matrix models supports a lean, highly-optimised implementation. This contrasts with current constraint toolkits, which, in order to provide ever more modelling and solving options, have become progressively more complex at the cost of both performance and usability. MINION is a black box from the user point of view, deliberately providing few options. This, combined with its raw speed, makes MINION a substantial step towards Puget’s ‘Model and Run’ constraint solving paradigm.
Homepage: http://minion.sourceforge.net/
Related Software: GAP; OEIS; Gecode; Chaff; CSPLib; Choco; Smallsemi; CPLEX; MiniZinc; Sugar; Yices; Traces; nauty; MiniSat; Essence; cc(FD); CaSPER; LOOPS; Mace4; Azucar
Referenced in: 49 Publications
Further Publications: http://minion.sourceforge.net/reference.html
all top 5

Referenced by 109 Authors

8 Nightingale, Peter W.
7 Gent, Ian Philip
5 Distler, Andreas
5 Jefferson, Christopher
5 Miguel, Ian
4 Konovalov, Olexandr
3 Akgün, Özgür
3 Falcón Ganfornina, Raúl Manuel
3 Kelsey, Tom
3 Linton, Steve A.
3 Royle, Gordon F.
2 Alvarez, Victor
2 Armario, José ándrés
2 Bamberg, John
2 Bovdi, Victor A.
2 Cameron, Peter Jephson
2 Frau, María Dolores
2 Gudiel, Félix
2 Güemes, Maria Belén
2 Kitaev, Sergey
2 Osuna, Amparo
2 San Segundo, Pablo
1 Abdesselam, Abdelmalek
1 Ansótegui, Carlos
1 Araújo, João
1 Armentano, Vinícius Amaral
1 Banković, Milan
1 Barahona, Pedro
1 Béjar, Ramón
1 Beldiceanu, Nicolas
1 Bentz, Wolfram
1 Bischl, Bernd
1 Bishnoi, Anurag
1 Campercholi, Miguel A.
1 Carlsson, Mats
1 Codish, Michael
1 Correia, Marco
1 De Raedt, Luc
1 Douence, Rémi
1 Enright, Jessica
1 Fagerholt, Kjetil
1 Fernández, César C.
1 Flener, Pierre
1 Fréchette, Alexandre
1 Furini, Fabio
1 Gadouleau, Maximilien
1 Guns, Tias
1 Hnich, Brahim
1 Hoos, Holger H.
1 Hutter, Frank
1 Hvattum, Lars Magnus
1 Ikenmeyer, Christian
1 Jefferson, Chris
1 Jespers, Eric
1 Jussien, Narendra
1 Kerschke, Pascal
1 Kimmerle, Wolfgang
1 Kotthoff, Lars
1 Lecoutre, Christophe
1 León, Rafael
1 Leyton-Brown, Kevin
1 Lindauer, Marius
1 Lorca, Xavier
1 Malandro, Martin E.
1 Malitsky, Yuri
1 Martis, Michael
1 Mateu, Carles
1 McCreesh, Ciaran
1 McKay, Brendan D.
1 Mereb, Martin
1 Metodi, Amit
1 Michel, Laurent
1 Mitchell, James D.
1 Moore, Neil C. A.
1 Moraru, Iulia
1 Morris, Sylvia
1 Naanaa, Wady
1 Nica, Mihai
1 Nijssen, Siegfried
1 Omrani, Mohamed Amine
1 Pearson, Justin
1 Péresse, Yann H.
1 Petrie, Karen E.
1 Prestwich, Steven D.
1 Prosser, Patrick
1 Prud’homme, Charles
1 Rossi, Roberto
1 Roussel, Olivier
1 Schäfer, Artur
1 Schulte, Christian
1 Sorge, Volker
1 Spracklen, Patrick
1 Stones, Rebecca J.
1 Stuckey, Peter James
1 Tack, Guido
1 Tarim, S. Armagan
1 Tellechea, Mauricio
1 Thorstensen, Evgenij
1 Tierney, Kevin
1 van Dongen, Marc R. C.
...and 9 more Authors

Referencing Publications by Year