ToulBar2
From MaRDI portal
swMATH7289MaRDI QIDQ19333FDOQ19333
Author name not available (Why is that?)
Official website: http://miat.inrae.fr/toulbar2
Cited In (44)
- MiniBrass: soft constraints for MiniZinc
- Tractability in constraint satisfaction problems: a survey
- The power of linear programming for general-valued CSPs
- Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction
- Tractability-preserving transformations of global cost functions
- New filtering for \textsc{AtMostNValue} and its weighted variant: a Lagrangian approach
- OptSAT
- NumberJack
- OPIUM
- FASoft
- SLIDE
- AtMostNValue
- MSUnCore
- G12
- ComputeTW
- ROTOR
- Alchemy
- DAOOPT
- mplp2
- OpenGM
- Osprey
- MiniSearch
- MiniBrass
- YIELDS
- LoMRF
- RockIt
- SPFlow
- Xeggora
- Iterative and core-guided maxsat solving: a survey and assessment
- Models and solution techniques for frequency assignment problems
- Multiple-choice knapsack constraint in graphical models
- Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms
- Variable neighborhood search for graphical model energy minimization
- Modularity-based decompositions for valued CSP
- Approximate counting in SMT and value estimation for probabilistic programs
- Fuzzy constraint satisfaction problem for model-based image interpretation
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction
- Solving the crop allocation problem using hard and soft constraints
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Computational protein design as an optimization problem
- 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
- Leveraging cluster backbones for improving MAP inference in statistical relational models
This page was built for software: ToulBar2
