CSPLib
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Evaluating ASP and commercial solvers on the CSPLib
- On implementing symmetry detection
- CMBSlib
- iOpt
- TINES
- LSSPER
- CLAIRE
- COMET
- BACP
- IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
- EasyLocal++
- Towards breaking more composition symmetries in partial symmetry breaking
- Automatically improving constraint models in Savile Row
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- WSAT(OIP)
- LocalSolver
- The power of propagation: when GAC is enough
- Efficient filtering for the resource-cost alldifferent constraint
- An effective greedy heuristic for the social golfer problem
- An improved SAT formulation for the social golfer problem
- Solving Kirkman's schoolgirl problem in a few seconds
- Advanced constraint propagation for the combined car sequencing and level scheduling problem
- Choco
- MiniZinc
- Gecode
- Cadmium
- Prolog
- I-SATCHMO
- A linear-time algorithm to solve the sports league scheduling problem (prob026 of CSPLib)
- Cardinal
- MDDs are efficient modeling tools: an application to some statistical constraints
- Design and implementation of bounded-length sequence variables
- Debugging unsatisfiable constraint models
- SLIDE
- CaSPER
- Scheduling reach mahjong tournaments using pseudoboolean constraints
- ChainSAT
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Sugar
- OscaR
- Cellerator
- G12
- MINION
- Reordering all agents in asynchronous backtracking for distributed constraint satisfaction problems
- Recovery management for a dial-a-ride system with real-time disruptions
- An optimal arc consistency algorithm for a particular case of sequence constraint
- Propagation engine prototyping with a domain specific language
- Lightweight dynamic symmetry breaking
- Large-scale parallelism for constraint-based local search: the costas array case study
- A method for detecting symmetries in constraint models and its generalisation
- View-based propagation of decomposable constraints
- Generalised arc consistency for the AllDifferent constraint: an empirical survey
- ModLeanTAP
- SICStus
- Explorative anytime local search for distributed constraint optimization
- Propagation algorithms for lexicographic ordering constraints
- Round robin scheduling -- a survey
- Sparrow2011
- Grid BnB
- Solving real car sequencing problems with ant colony optimization
- A Lagrangian-ACO matheuristic for car sequencing
- Kangaroo
- SMTtoTPTP
- Set constraint model and automated encoding into SAT: application to the social golfer problem
- FOOL
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- OR-tools
- A greedy algorithm for the social golfer and the Oberwolfach problem
- Achieving domain consistency and counting solutions for dispersion constraints
- Transparent parallelization of constraint programming
- Symmetries of symmetry breaking constraints
- Symmetry-breaking answer set solving
- Parameterized complexity results in symmetry breaking
- SNARK
- Parallel constraint-based local search on the Cell/BE multicore architecture
- HAS-QAP
- Localizer
- OPL
- ILOG SCHEDULE
- Review and comparison of three methods for the solution of the car sequencing problem
- ESRA
- MiniSearch
- The ROOTS Constraint
- Large neighborhood improvements for solving car sequencing problems
- Design and implementation of a tracer driver: Easy and efficient dynamic analyses of constraint logic programs
- DisChoco
- A translational approach to constraint answer set solving
- CHUFFED
- Essence
- meSAT
- Hopcroft-Karp
- SensorDCSP
- FaCiLe
- HIBISCUS
- sunny-cp
- Mistral
- Dealing with satisfiability and \(n\)-ary CSPs in a logical framework
- scientific article; zbMATH DE number 1961994 (Why is no real title available?)
- scientific article; zbMATH DE number 2080317 (Why is no real title available?)
- An analysis of empirical testing for modal decision procedures
This page was built for software: CSPLib
