Sciweavers

4 search results - page 1 / 1
» Bilevel Programming and Maximally Violated Valid Inequalitie...
Sort
View
ORL
2008
111views more  ORL 2008»
13 years 5 months ago
New formulations and valid inequalities for a bilevel pricing problem
Consider the problem of maximizing the toll revenue collected on a multi-commodity transportation network. This fits a bilevel framework where a leader sets tolls, while users res...
Sophie Dewez, Martine Labbé, Patrice Marcot...
MP
2010
116views more  MP 2010»
13 years 3 months ago
Separation algorithms for 0-1 knapsack polytopes
Valid inequalities for 0-1 knapsack polytopes often prove useful when tackling hard 0-1 Linear Programming problems. To generate such inequalities, one needs separation algorithms...
Konstantinos Kaparis, Adam N. Letchford
SAT
2007
Springer
118views Hardware» more  SAT 2007»
13 years 11 months ago
Improved Lower Bounds for Tree-Like Resolution over Linear Inequalities
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
Arist Kojevnikov