MINION
From MaRDI portal
Software:22143
swMATH10176MaRDI QIDQ22143FDOQ22143
Author name not available (Why is that?)
Cited In (52)
- Lifted Reasoning for Combinatorial Counting
- Deciding quantifier-free definability in finite algebraic structures
- 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
- Short and long supports for constraint propagation
- Finding subgraphs with side constraints
- On regular induced subgraphs of generalized polygons
- 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.
- S-crucial and bicrucial permutations with respect to squares
- 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
- Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Title not available (Why is that?)
- The Order of Automorphisms of Quasigroups
- 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
- The Monoids of Order Eight and Nine
- Primitive groups, graph endomorphisms and synchronization
- Automatically improving constraint models in Savile Row
- Chains of subsemigroups
- Enumeration of set-theoretic solutions to the Yang–Baxter equation
- Implementing logical connectives in constraint programming
- On the Gruenberg–Kegel graph of integral group rings of finite groups
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint
- Tank allocation problems in maritime bulk shipping
- 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
- 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
- Solving computational problems in the theory of word-representable graphs
This page was built for software: MINION