Pages that link to "Item:Q2110407"
From MaRDI portal
The following pages link to Core-guided and core-boosted search for CP (Q2110407):
Displaying 3 items.
- Branch-and-cut-and-price for the electric vehicle routing problem with time windows, piecewise-linear recharging and capacitated recharging stations (Q2147168) (← links)
- Coupling different integer encodings for SAT (Q2170178) (← links)
- Boosting branch-and-bound MaxSAT solvers with clause learning (Q5106262) (← links)