28 citations · 29 across the 13 of their papers we have counts for
Showing 2008Show all
3 papers · 1 filter
cs.DM2008
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…
cs.DM2008
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…
cs.DM2008
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…