swMATH4150MaRDI QIDQ16334FDOQ16334
Author name not available (Why is that?)
Official website: http://www.csplib.org/
Cited In (only showing first 100 items - show all)
- Round robin scheduling -- a survey
- The ROOTS Constraint
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- Solving real car sequencing problems with ant colony optimization
- Removing propagation redundant constraints in redundant modeling
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- Achieving domain consistency and counting solutions for dispersion constraints
- The extended global cardinality constraint: an empirical survey
- Recent Advances in Constraints
- Combining two pheromone structures for solving the car sequencing problem with ant colony optimization
- Reformulation of global constraints based on constraints checkers
- A GRASP approach for the extended car sequencing problem
- Hybrid search for minimal perturbation in dynamic CSPs
- An effective greedy heuristic for the social golfer problem
- An improved SAT formulation for the social golfer problem
- Title not available (Why is that?)
- Evaluating ASP and commercial solvers on the CSPLib
- The balanced academic curriculum problem revisited
- A translational approach to constraint answer set solving
- Redundant modeling in permutation weighted constraint satisfaction problems
- The design of the zinc modelling language
- Interval-valued soft constraint problems
- CMBSlib
- iOpt
- LSSPER
- CLAIRE
- COMET
- BACP
- EasyLocal++
- LocalSolver
- WSAT(OIP)
- Choco
- Gecode
- MiniZinc
- Cadmium
- Prolog
- I-SATCHMO
- Cardinal
- Title not available (Why is that?)
- Computational Methods in Systems Biology
- CaSPER
- SLIDE
- ChainSAT
- Cellerator
- OscaR
- G12
- MINION
- Sugar
- ModLeanTAP
- SICStus
- Grid BnB
- Sparrow2011
- Kangaroo
- SMTtoTPTP
- FOOL
- OR-tools
- Generalised arc consistency for the AllDifferent constraint: an empirical survey
- A greedy algorithm for the social golfer and the Oberwolfach problem
- MDDs are efficient modeling tools: an application to some statistical constraints
- An integer linear programming approach and a hybrid variable neighborhood search for the car sequencing problem
- The car sequencing problem: overview of state-of-the-art methods and industrial case-study of the ROADEF'2005 challenge problem
- SNARK
- HAS-QAP
- ILOG SCHEDULE
- Localizer
- OPL
- ESRA
- MiniSearch
- DisChoco
- CHUFFED
- Essence
- meSAT
- Hopcroft-Karp
- FaCiLe
- HIBISCUS
- SensorDCSP
- Mistral
- sunny-cp
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- LocalSolver 1.x: A black-box local-search solver for 0-1 programming
- Multiset variable representations and constraint propagation
- The generalized balanced academic curriculum problem with heterogeneous classes
- Cardinal: a finite sets constraint solver
- Review and comparison of three methods for the solution of the car sequencing problem
- New filtering algorithms for combinations of among constraints
- Two local search approaches for solving real-life car sequencing problems
- Explorative anytime local search for distributed constraint optimization
- Distributed constraint satisfaction with partially known constraints
- Min-domain retroactive ordering for asynchronous backtracking
- Constraint acquisition
- Principles and Practice of Constraint Programming – CP 2004
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework
- An optimal arc consistency algorithm for a particular case of sequence constraint
- Using computational singular perturbation as a diagnostic tool in ODE and DAE systems: a case study in heterogeneous catalysis
- A linear-time algorithm to solve the sports league scheduling problem (prob026 of CSPLib)
- Title not available (Why is that?)
- Principles and Practice of Constraint Programming – CP 2003
- Scheduling reach mahjong tournaments using pseudoboolean constraints
- On the separability of subproblems in Benders decompositions
- On implementing symmetry detection
This page was built for software: CSPLib
