Laboratoire d'informatique fondamentale de Marseille
UMR 6166 - CNRS, Université de la Méditerranée, Université de Provence
Consultation
Derniers dépôts
Liste des articles
Liste par équipe
Liste par date
Liste par domaine
Liste par auteurs
Rechercher
106 articles – 48 Notices
[english version]
.:.
Consultation
>
Derniers dépôts
.:.
30 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
1
-
2
A Feasibility Pump for mixed integer nonlinear programs
Bonami P., Cornuéjols G., Lodi A., Margot F.
Mathematical Programming, Series A
119
, 2 (2008) 331-352 [hal-00421755 - version 1]
A Note on the MIR closure
Bonami P., Cornuéjols G.
Operations Research Letters
36
, 1 (2007) 4-6 [hal-00421754 - 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]
Projected Chvátal-Gomory cuts for mixed integer linear programs
Bonami P., Cornuéjols G., Dash S., Fischetti M., Lodi A.
Mathematical Programming, Series A
113
, 2 (2008) 241-257 [hal-00421752 - 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]
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]
Periodicity in tilings
Jeandel E., Vanier P.
Developments in Language Theory
6224/2010
(2010) 243-254 [hal-00419196 - version 1]
On the word problem for SP-categories, and the properties of two-way communication
Santocanale L., Cockett R.
Dans
CSL 2009
-
CSL 2009
, Portugal (2009) [hal-00374654 - version 1]
Structures algébriques en logique et concurrence
Santocanale L.
Université de Provence - Aix-Marseille I (2008-12-09), Rémi Morin (Pr.) [tel-00369583 - version 1]
A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)
Santocanale L.
[hal-00369451 - version 1] (19/03/2009)
Automata on the Plane vs Particles and Collisions
Ollinger N., Richard G.
[hal-00310960 - version 2] (27/02/2009)
An Approximation Algorithm for l∞-Fitting Robinson Structures to Distances
Chepoi V., Seston M.
26th International Symposium on Theoretical Aspects of Computer Science STACS 2009
, Allemagne (2009) [inria-00359296 - version 1]
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
Alenda R., Olivetti N., Schwind C.
[hal-00358841 - version 1] (05/02/2009)
Peer to Peer Optimistic Collaborative Editing on XML-like trees
Lugiez D., Martin S.
[hal-00343484 - version 1] (27/01/2009)
The Branch-width of Circular-arc Graphs
Mazoit F.
Dans
LATIN 2006: Theoretical Informatics
-
Latin American Theoretical Informatics Symposium
, France (2006) [hal-00351181 - version 1]