MINION
From MaRDI portal
Software:22143
No author found.
Related Items (52)
A mixed heuristic for generating cocyclic Hadamard matrices ⋮ Structural decompositions for problems with global constraints ⋮ ASlib: a benchmark library for algorithm selection ⋮ Generalised arc consistency for the AllDifferent constraint: an empirical survey ⋮ S-crucial and bicrucial permutations with respect to squares ⋮ Enumeration of set-theoretic solutions to the Yang–Baxter equation ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint ⋮ Promoting robust black-box solvers through competitions ⋮ Automatically improving constraint models in Savile Row ⋮ On the Gruenberg–Kegel graph of integral group rings of finite groups ⋮ Enumerating partial Latin rectangles ⋮ Generating binary partial Hadamard matrices ⋮ Implementing logical connectives in constraint programming ⋮ 16,051 formulas for Ottaviani's invariant of cubic threefolds ⋮ Unnamed Item ⋮ Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs ⋮ Primitive groups, graph endomorphisms and synchronization ⋮ A microkernel architecture for constraint programming ⋮ Consistency for Quantified Constraint Satisfaction Problems ⋮ Watched Literals for Constraint Propagation in Minion ⋮ Automated debugging based on a constraint model of the program and a test case ⋮ Itemset mining: a constraint programming perspective ⋮ The semigroups of order 9 and their automorphism groups. ⋮ New decision rules for exact search in \(N\)-queens ⋮ Deciding quantifier-free definability in finite algebraic structures ⋮ Generating custom propagators for arbitrary constraints ⋮ Solving computational problems in the theory of word-representable graphs ⋮ Short and Long Supports for Constraint Propagation ⋮ TORSION UNITS IN INTEGRAL GROUP RINGS OF CONWAY SIMPLE GROUPS ⋮ Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems ⋮ Filtering algorithms for global chance constraints ⋮ The extended global cardinality constraint: an empirical survey ⋮ Enumeration of finite inverse semigroups ⋮ Chains of subsemigroups ⋮ On regular induced subgraphs of generalized polygons ⋮ Enumeration of AG-Groupoids ⋮ An Enumeration of Certain Projective Ternary Two-Weight Codes ⋮ Torsion units in integral group rings of Janko simple groups ⋮ Tank allocation problems in maritime bulk shipping ⋮ A new branch-and-filter exact algorithm for binary constraint satisfaction problems ⋮ Boosting isomorphic model filtering with invariants ⋮ The monoids of orders eight, nine \& ten. ⋮ The Order of Automorphisms of Quasigroups ⋮ The Monoids of Order Eight and Nine ⋮ 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 ⋮ View-based propagation of decomposable constraints ⋮ Lifted Reasoning for Combinatorial Counting ⋮ Finding subgraphs with side constraints
This page was built for software: MINION
