The following pages link to ToulBar2 (Q19333):
Displayed 22 items.
- Tractability in constraint satisfaction problems: a survey (Q271997) (← links)
- Tractability-preserving transformations of global cost functions (Q309935) (← links)
- Modularity-based decompositions for valued CSP (Q353312) (← links)
- New filtering for \textsc{AtMostNValue} and its weighted variant: a Lagrangian approach (Q890005) (← links)
- Approximate counting in SMT and value estimation for probabilistic programs (Q1683928) (← links)
- Fuzzy constraint satisfaction problem for model-based image interpretation (Q1697321) (← links)
- Accelerating exact and approximate inference for (distributed) discrete optimization with GPUs (Q1706596) (← links)
- Combining restarts, nogoods and bag-connected decompositions for solving csps (Q1706771) (← links)
- Triangle-based consistencies for cost function networks (Q1706773) (← links)
- Tree projections and constraint optimization problems: fixed-parameter tractability and parallel algorithms (Q1745716) (← links)
- Multiple-choice knapsack constraint in graphical models (Q2170205) (← links)
- Leveraging cluster backbones for improving MAP inference in statistical relational models (Q2202525) (← links)
- Variable neighborhood search for graphical model energy minimization (Q2287189) (← links)
- MiniBrass: soft constraints for MiniZinc (Q2331099) (← links)
- Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction (Q2342595) (← links)
- Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction (Q2342646) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Multi-language evaluation of exact solvers in graphical model discrete optimization (Q2398440) (← links)
- Computational protein design as an optimization problem (Q2453727) (← links)
- Solving the Crop Allocation Problem using Hard and Soft Constraints (Q4921895) (← links)
- The Power of Linear Programming for General-Valued CSPs (Q5252658) (← links)
- Models and solution techniques for frequency assignment problems (Q5920489) (← links)