JaCoP
From MaRDI portal
Software:18438
No author found.
Related Items (16)
Metaheuristics for solving a multimodal home-healthcare scheduling problem ⋮ Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay ⋮ Philosophy of the MiniZinc challenge ⋮ Reservation table scheduling: branch-and-bound based optimizationvs. integer linear programming techniques ⋮ A Framework for Distributing Real-Time Functions ⋮ Solving constraint satisfaction problems with SAT modulo theories ⋮ Search combinators ⋮ MiniCP: a lightweight solver for constraint programming ⋮ Allocation and scheduling of conditional task graphs ⋮ Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip ⋮ Solving Weighted Argumentation Frameworks with Soft Constraints ⋮ A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models ⋮ An Introduction to Search Combinators ⋮ MiniBrass: soft constraints for MiniZinc ⋮ Constraint-Level Advice for Shaving ⋮ Lifted structural invariant analysis of Petri net product lines
This page was built for software: JaCoP
