The following pages link to Linda van Norden (Q880569):
Displaying 7 items.
- Lower bounds for minimizing total completion time in a two-machine flow shop (Q880570) (← links)
- (Q944727) (redirect page) (← links)
- Sums of squares based approximation algorithms for MAX-SAT (Q944728) (← links)
- Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances (Q1776200) (← links)
- Multi-product lot-sizing with a transportation capacity reservation contract (Q1776959) (← links)
- Theory and Applications of Satisfiability Testing (Q5325856) (← links)
- Theory and Applications of Satisfiability Testing (Q5713720) (← links)
