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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1985-2016
024619852016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Model-based testing allows automatic test case generation from models like Symbolic Input Output Transition Systems (SIOTS… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2014
2014
Incredible evolution of Internet, Digital devices and communication channels lead to an enormous increase in data leading to… (More)
  • figure I
  • figure 2
  • figure 4
  • table I
  • figure 3
Is this relevant?
2012
2012
Internet applications increasingly employ TCP not as a stream abstraction, but as a substrate for applicationlevel transports, a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2010
2010
We discuss the generation of test cases for demonstrating the non-equivalence of two programs. This problem has applications in… (More)
Is this relevant?
2007
2007
In order to apply constraint programming to a particular domain, the problem must first be modelled as a constraint satisfaction… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 3
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Efficient constraint propagation is crucial to any constraint solver. We show that watched literals, already a great success in… (More)
  • figure 1
  • table 1
  • table 2
  • table 3
  • figure 3
Is this relevant?
Highly Cited
1992
Highly Cited
1992
Minton, S., M.D. Johnston, A.B. Philips and P. Laird, Minimizing conflicts: a heuristic repair method for constraint satisfaction… (More)
  • table 2
  • table 2
  • figure 3
  • figure 4
  • table 3
Is this relevant?
1989
1989
Existing computer algebra systems relieve us of having to perform tedious mathematical computations manually, thus enabling us to… (More)
  • figure 1
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Recent evidence indicates the existence of a genetic locus in chromosome region 13q14 that confers susceptibility to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 6
  • table 1
Is this relevant?