ToulBar2
From MaRDI portal
Software:19333
No author found.
Related Items (22)
Tractability in constraint satisfaction problems: a survey ⋮ Tractability-preserving transformations of global cost functions ⋮ Modularity-based decompositions for valued CSP ⋮ Multi-language evaluation of exact solvers in graphical model discrete optimization ⋮ Multiple-choice knapsack constraint in graphical models ⋮ Approximate counting in SMT and value estimation for probabilistic programs ⋮ New filtering for \textsc{AtMostNValue} and its weighted variant: a Lagrangian approach ⋮ Fuzzy constraint satisfaction problem for model-based image interpretation ⋮ Leveraging cluster backbones for improving MAP inference in statistical relational models ⋮ Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs ⋮ Combining restarts, nogoods and bag-connected decompositions for solving csps ⋮ Triangle-based consistencies for cost function networks ⋮ Computational protein design as an optimization problem ⋮ Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms ⋮ Solving the Crop Allocation Problem using Hard and Soft Constraints ⋮ Models and solution techniques for frequency assignment problems ⋮ Variable neighborhood search for graphical model energy minimization ⋮ MiniBrass: soft constraints for MiniZinc ⋮ The Power of Linear Programming for General-Valued CSPs ⋮ Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction ⋮ Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction ⋮ Iterative and core-guided maxsat solving: a survey and assessment
This page was built for software: ToulBar2
