The following pages link to Resolution search (Q674925):
Displaying 11 items.
- Generalized resolution search (Q429682) (← links)
- Consistent neighborhood search for combinatorial optimization (Q693704) (← links)
- A multi-level search strategy for the 0-1 multidimensional knapsack problem (Q968116) (← links)
- Gersten resolution with support (Q1014800) (← links)
- Improving the performance of enumerative search methods. I: Exploiting structure and intelligence (Q1892667) (← links)
- Incumbent solutions in branch-and-bound algorithms: Setting the record straight (Q1915957) (← links)
- \textit{Branch} \& \textit{Memorize} exact algorithms for sequencing problems: efficient embedding of memorization into search trees (Q2027052) (← links)
- Information-based branching schemes for binary linear mixed integer problems (Q2267352) (← links)
- CORAL: an exact algorithm for the multidimensional knapsack problem (Q2815454) (← links)
- Backdoor Branching (Q3009762) (← links)
- (Q3746920) (← links)