JaCoP
From MaRDI portal
Software:18438
swMATH6307MaRDI QIDQ18438FDOQ18438
Author name not available (Why is that?)
Cited In (16)
- MiniBrass: soft constraints for MiniZinc
- MiniCP: a lightweight solver for constraint programming
- Allocation and scheduling of conditional task graphs
- An Introduction to Search Combinators
- 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
- Constraint-Level Advice for Shaving
- Solving Weighted Argumentation Frameworks with Soft Constraints
- 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
- Lifted structural invariant analysis of Petri net product lines
This page was built for software: JaCoP
