Gecode

swMATH6272MaRDI QIDQ18403

No author found.

Related Items (81)

Fleet design optimisation from historical data using constraint programming and large neighbourhood search ⋮ Visual search tree profiling ⋮ IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG ⋮ Balancing bike sharing systems with constraint programming ⋮ Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings ⋮ Contractor programming ⋮ G2C: Cryptographic Protocols from Goal-Driven Specifications ⋮ Deleting edges to restrict the size of an epidemic: a new application for treewidth ⋮ Designing end-to-end resource reservations in predictable distributed embedded systems ⋮ Unnamed Item ⋮ Constraint-based large neighborhood search for machine reassignment. A solution approach to the ROADEF/EURO challenge 2012 ⋮ SelfSplit parallelization for mixed-integer linear programming ⋮ Solving a selective dial-a-ride problem with logic-based Benders decomposition ⋮ A cumulative not-first/not-last filtering algorithm in \(O(n^2 \log(n))\) ⋮ \textsc{Conjure}: automatic generation of constraint models from problem specifications ⋮ Multi-language evaluation of exact solvers in graphical model discrete optimization ⋮ Graph matching problems and the NP-hardness of sortedness constraints ⋮ Towards Copeland optimization in combinatorial problems ⋮ A parallel algorithm for GAC filtering of the Alldifferent constraint ⋮ Underground mine scheduling of mobile machines using constraint programming and large neighborhood search ⋮ Philosophy of the MiniZinc challenge ⋮ MiniZinc with strings ⋮ A constraint programming model for fast optimal stowage of container vessel bays ⋮ Automatically improving constraint models in Savile Row ⋮ An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning ⋮ A constraint-based local search backend for MiniZinc ⋮ Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems ⋮ Constraints for generating graphs with imposed and forbidden patterns: an application to molecular graphs ⋮ Auto-tabling for subproblem presolving in MiniZinc ⋮ Solving a real-life, large-scale energy management problem ⋮ A constraint programming-based approach to a large-scale energy management problem with varied constraints ⋮ A microkernel architecture for constraint programming ⋮ \textsc{Tor}: modular search with hookable disjunction ⋮ Exploiting subproblem dominance in constraint programming ⋮ Constraint programming approach to a bilevel scheduling problem ⋮ Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules ⋮ Optimization Bounds from the Branching Dual ⋮ Modular Constraint Solver Cooperation via Abstract Interpretation ⋮ Multiset variable representations and constraint propagation ⋮ Modeling Block Structured Project Scheduling with Resource Constraints ⋮ Block structured scheduling using constraint logic programming ⋮ Solving constraint satisfaction problems with SAT modulo theories ⋮ Search combinators ⋮ Applying Constraint Logic Programming to SQL Test Case Generation ⋮ MiningZinc: a declarative framework for constraint-based mining ⋮ Automatically Exploiting Subproblem Equivalence in Constraint Programming ⋮ Constraint programming-based column generation ⋮ Orbital Shrinking: A New Tool for Hybrid MIP/CP Methods ⋮ Design and implementation of bounded-length sequence variables ⋮ Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem ⋮ Constraint programming-based column generation ⋮ Propagation via lazy clause generation ⋮ Solving a resource allocation problem in wireless mesh networks: A comparison between a CP-based and a classical column generation ⋮ Orbital shrinking: theory and applications ⋮ Reusing CSP Propagators for QCSPs ⋮ Computing AES related-key differential characteristics with constraint programming ⋮ On solving a hard quadratic 3-dimensional assignment problem ⋮ Modeling with Metaconstraints and Semantic Typing of Variables ⋮ Core group placement: allocation and provisioning of heterogeneous resources ⋮ Dashed strings for string constraint solving ⋮ Exact Solution of Graph Coloring Problems via Constraint Programming and Column Generation ⋮ Combining tree partitioning, precedence, and incomparability constraints ⋮ A collection of constraint programming models for the three-dimensional stable matching problem with cyclic preferences ⋮ Constraint programming for dynamic symbolic execution of JavaScript ⋮ Generating compound moves in local search by hybridisation with complete search ⋮ Investigating constraint programming for real world industrial test laboratory scheduling ⋮ Feasibility pump 2.0 ⋮ Ant colony optimization for path planning in search and rescue operations ⋮ An Introduction to Search Combinators ⋮ MiniBrass: soft constraints for MiniZinc ⋮ Dynamic Analysis of Bounds Versus Domain Propagation ⋮ On the reification of global constraints ⋮ View-based propagator derivation ⋮ Explaining circuit propagation ⋮ Propagation engine prototyping with a domain specific language ⋮ Lightweight dynamic symmetry breaking ⋮ A quadratic edge-finding filtering algorithm for cumulative resource constraints ⋮ View-based propagation of decomposable constraints ⋮ Short-term scheduling of production fleets in underground mines using CP-based LNS ⋮ SeaPearl: a constraint programming solver guided by reinforcement learning ⋮ Physician scheduling during a pandemic

This page was built for software: Gecode