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