MINION
From MaRDI portal
Cited in
(88)- Tank allocation problems in maritime bulk shipping
- The monoids of orders eight, nine \& ten.
- Glasgow subgraph solver
- CAWICOMS
- A mixed heuristic for generating cocyclic Hadamard matrices
- CSPLib
- Automatically improving constraint models in Savile Row
- A microkernel architecture for constraint programming
- CPlan
- Filtering algorithms for global chance constraints
- Choco
- MiniZinc
- Gecode
- Cadmium
- GRAPE
- Smallsemi
- LOOPS
- Enumeration of finite inverse semigroups
- Chains of subsemigroups
- CaSPER
- LAGUNA
- A new branch-and-filter exact algorithm for binary constraint satisfaction problems
- Boosting isomorphic model filtering with invariants
- Finding subgraphs with side constraints
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Sugar
- Enumerating partial Latin rectangles
- Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs
- Azucar
- Deciding quantifier-free definability in finite algebraic structures
- On the reification of global constraints
- On the hardness of solving edge matching puzzles as SAT or CSP problems
- View-based propagator derivation
- Propagation engine prototyping with a domain specific language
- BBMCL
- View-based propagation of decomposable constraints
- Semigroups
- Generalised arc consistency for the AllDifferent constraint: an empirical survey
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint
- Generating binary partial Hadamard matrices
- The semigroups of order 9 and their automorphism groups.
- Generating custom propagators for arbitrary constraints
- Kangaroo
- PermLab
- STR2
- Structural decompositions for problems with global constraints
- An enumeration of certain projective ternary two-weight codes
- ASlib: a benchmark library for algorithm selection
- BBMCSP
- CheckCell
- Primitive groups, graph endomorphisms and synchronization
- TORSION UNITS IN INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS
- HadamardSearch
- scientific article; zbMATH DE number 5814626 (Why is no real title available?)
- Torsion units in integral group rings of Janko simple groups.
- Solving computational problems in the theory of word-representable graphs
- cc(FD)
- OPL
- ESRA
- Consistency for Quantified Constraint Satisfaction Problems
- Watched Literals for Constraint Propagation in Minion
- CBack
- CHUFFED
- NormalizInterface
- Essence
- meSAT
- Hopcroft-Karp
- sunny-cp
- Mistral
- OMG
- Automated debugging based on a constraint model of the program and a test case
- On the Gruenberg–Kegel graph of integral group rings of finite groups
- RackEnumeration
- Short and long supports for constraint propagation
- Boolean equi-propagation for concise and efficient SAT encodings of combinatorial problems
- Enumeration of set-theoretic solutions to the Yang-Baxter equation
- Enumeration of AG-groupoids.
- The extended global cardinality constraint: an empirical survey
- The Order of Automorphisms of Quasigroups
- \(S\)-crucial and bicrucial permutations with respect to squares
- The Monoids of Order Eight and Nine
- Lifted Reasoning for Combinatorial Counting
- Promoting robust black-box solvers through competitions
- Implementing logical connectives in constraint programming
- Itemset mining: a constraint programming perspective
- New decision rules for exact search in \(N\)-queens
- On regular induced subgraphs of generalized polygons
- 16,051 formulas for Ottaviani's invariant of cubic threefolds
This page was built for software: MINION
