28 citations · 29 across the 13 of their papers we have counts for
4 papers · 1 filter
On Limits to the Scope of the Extended Formulations "Barriers"
Moustapha Diaby, M. H. Karwan
In this paper, we introduce the notion of augmentation for polytopes and use it to show the error in two presumptions that have been key in arriving at over-reaching/over-scoped cl…
Linear Programming Formulation of the Boolean Satisfiability Problem
Moustapha Diaby
In this paper, we present a new, graph-based modeling approach and a polynomial-sized linear programming (LP) formulation of the Boolean satisfiability problem (SAT). The approach…
A O(n^8) X O(n^7) Linear Programming Model of the Traveling Salesman Problem
Moustapha Diaby
In this paper, we present a new linear programming (LP) formulation of the Traveling Salesman Problem (TSP). The proposed model has O(n^8) variables and O(n^7) constraints, where n…
A O(n^8) X O(n^7) Linear Programming Model of the Quadratic Assignment Problem
Moustapha Diaby
This paper has been withdrawn because Theorem 21 and Corollary 22 are in error; The modeling idea is OK, but it needs 9-dimensional variables instead of the 8-dimensional variables…