106 articles – 48 references  [version française]
.:. Browse > Domain list > Mathematics .:.
29 documents ordered by :
First Previous 1 - 2
fulltext accessible on an other server Congruences of Multinomial Lattices
Santocanale L.
Order 24, 3 (2007) 155--179 [hal-00142355 - version 1]
An Algorithmic Framework for Convex Mixed Integer Nonlinear Programs
Bonami P., Biegler L. T., Conn A. R., Cornuéjols G., Grossmann I. E., Laird C. D., Lee J., Lodi A., Margot F., Sawaya N. et al
Discrete Optimization 5, 2 (2007) 186-204 [hal-00421753 - version 1]
fulltext accessible on an other server Completions of mu-algebras
Santocanale L.
Annals of Pure and Applied Logic 154, 1 (2007) 27-50 [hal-00142353 - version 1]
fulltext access Constructive dimension and weak truth-table degrees
Bienvenu L., Doty D., Stephan F.
[hal-00191125 - version 1] (23/11/2007)
fulltext access The Variable Hierarchy for the Games mu-Calculus
Belkhir W., Santocanale L.
[hal-00178806 - version 2] (13/03/2008)
fulltext access A remark on utility streams
Schlechta K.
[hal-00169177 - version 1] (01/09/2007)
fulltext access Remarks on Inheritance Systems
Schlechta K.
[hal-00117112 - version 4] (19/08/2007)
fulltext access Derived Semidistributive Lattices
Santocanale L.
[hal-00165699 - version 2] (21/07/2008)
A Note on the MIR closure
Bonami P., Cornuéjols G.
Operations Research Letters 36, 1 (2007) 4-6 [hal-00421754 - version 1]
New variants of lift-and-project cut generation from the LP tableau: open source implementation and testing.
Balas E., Bonami P.
In Integer Programming and Combinatorial Optimization - 12th International IPCO Conference, United States (2007) [hal-00421759 - version 1]
From sandpiles to sand automata
Formenti E., Cervelle J., Masson B.
Theoretical Computer Science 381 (2007) 1-28 [hal-00310905 - version 1]
fulltext access Domain closure conditions and definability preservation
Schlechta K.
[hal-00084398 - version 1] (06/07/2006)
Using rank-1 lift-and-project closures to generate cuts for 0-1 MIPs, a computational investigation
Bonami P., Minoux M.
Discrete Optimization 2, 4 (2005) 288-307 [hal-00421750 - version 1]
Exact MAX-2SAT solution via lift-and-project closure
Bonami P., Minoux M.
Operations Research Letters 34, 4 (2005) 387-393 [hal-00421751 - version 1]