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