MINION

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