Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,476,620 papers from all fields of science
Search
Sign In
Create Free Account
Minion (solver)
Known as:
Minion
Minion is a solver for constraint satisfaction problems. Unlike constraint programming toolkits, which expect users to write programs in a…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
C++
CPLEX
Constraint satisfaction
Constraint satisfaction problem
Expand
Broader (1)
Constraint programming
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Qualitative deviation models vs. quantitative models for fault localization in spreadsheets
Birgit Hofer
,
I. Nica
,
F. Wotawa
2017
Corpus ID: 38393886
Automatizing fault localization in programs has been an interesting and active research field for several decades. In order to…
Expand
2014
2014
The politics of minion: Foreign direct investment, the state and artisanal mining in Tanzania.
F. Bourgouin
2014
Corpus ID: 153805064
2013
2013
Minion - Wire Protocol
Josh Graessley
,
J. Iyengar
,
S. Cheshire
2013
Corpus ID: 67093448
Minion uses TCP-format packets on-the-wire, for compatibility with existing NATs, Firewalls, and similar middleboxes, but…
Expand
2012
2012
9. Doctored Minion 3
Reuven Tsur
2012
Corpus ID: 63695264
2003
2003
Global Bifurcations in Duopoly when the Cournot Point is Destabilized through a Subcritical Neimark Bifuraction
A. Agliari
,
L. Gardini
,
T. Puu
2003
Corpus ID: 37329142
An adaptive oligopoly model, where the demand function is isoelastic and the competitors operate under constant marginal costs…
Expand
2003
2003
A Framework for Integrating Heterogeneous , Small-Scale Devices into Computational Grids and Clusters
Songwu Lu
,
T. Phan
,
R. Bagrodia
2003
Corpus ID: 16639976
viii Acknowledgments I would like to thank my advisor, Rajive Bagrodia, whose tutelage I had the privilege of being under, for…
Expand
1997
1997
Les formats de fichiers DVI, GF, TFM et VF : que contiennent-ils et comment les visualiser ?
Denis Roegel
1997
Corpus ID: 61805580
A TEX distribution is made of a large number of programs interacting through files in various formats. We manipulate several of…
Expand
Review
1993
Review
1993
Alternative Organizational Plans: Options for Consideration.
D. Jolly
,
P. Deloney
1993
Corpus ID: 56315027
This synthesis aims to provide policymakers with a comprehensive overview of issues surrounding the reorganization of small rural…
Expand
Review
1989
Review
1989
Review of "Black Political Mobilization: Leadership, Power, and Mass Behavior" by Minion K.C. Morrison
Aldon D Morris
1989
Corpus ID: 148916499
Review
1986
Review
1986
ANALYZING ENERGY CONSERVATION RETROFITS IN PUBLIC HOUSING: Savings, Cost-Effectiveness, and Policy Implications
K. Greely
,
C. Goldman
,
R. Ritschard
1986
Corpus ID: 56059131
Annual energy costs for the US's 1.2 million public housing units exceed one billion dollars. During the last decade, the US…
Expand