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