Pages that link to "Item:Q5898782"
From MaRDI portal
The following pages link to Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5898782):
Displaying 5 items.
- A new bounding procedure and an improved exact algorithm for the Max-2-SAT problem (Q734870) (← links)
- Alternating control tree search for knapsack/covering problems (Q972644) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Semidefinite Programming and Constraint Programming (Q2802541) (← links)
- ahmaxsat: Description and Evaluation of a Branch and Bound Max-SAT Solver (Q5015596) (← links)
