The following pages link to JaCoP (Q18438):
Displayed 16 items.
- Metaheuristics for solving a multimodal home-healthcare scheduling problem (Q301481) (← links)
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Search combinators (Q487659) (← links)
- Philosophy of the MiniZinc challenge (Q606904) (← links)
- Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip (Q707694) (← links)
- Allocation and scheduling of conditional task graphs (Q969530) (← links)
- Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay (Q1652451) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- MiniCP: a lightweight solver for constraint programming (Q2246188) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- An Introduction to Search Combinators (Q2848892) (← links)
- Solving Weighted Argumentation Frameworks with Soft Constraints (Q3085933) (← links)
- Reservation table scheduling: branch-and-bound based optimization<i>vs</i>. integer linear programming techniques (Q3515395) (← links)
- A Framework for Distributing Real-Time Functions (Q3543297) (← links)
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models (Q4991932) (← links)
- Constraint-Level Advice for Shaving (Q5504686) (← links)