Cited in
(40)- MiniBrass: soft constraints for MiniZinc
- MiniCP: a lightweight solver for constraint programming
- Allocation and scheduling of conditional task graphs
- Solving weighted argumentation frameworks with soft constraints
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
- Metaheuristics for solving a multimodal home-healthcare scheduling problem
- A Framework for Distributing Real-Time Functions
- Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
- MCGP
- VIATRA2
- Mozart
- KAAPI
- Choco
- FlatZinc
- Gecode
- B-Prolog
- NumberJack
- Scarab
- OscaR
- G12
- fzn2smt
- MAHA
- Metropolis
- GXL
- cc(FD)
- PIPE2
- APT
- MiniSearch
- FaCiLe
- PARPAP
- MiniBrass
- Mistral
- Constraint-Level Advice for Shaving
- Reservation table scheduling: branch-and-bound based optimizationvs. integer linear programming techniques
- Solving constraint satisfaction problems with SAT modulo theories
- Philosophy of the MiniZinc challenge
- Search combinators
- Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip
- An introduction to search combinators
- Lifted structural invariant analysis of Petri net product lines
This page was built for software: JaCoP
