Treffer 1 - 20 von 58

Mixed Integer Linear Programming Framework for SAT Variants of the Connected Flow Problem
Modélisations par Programmation Linéaire en Nombres Entiers pour des Variantes SAT du Problème de Flot connexe
Epain, Victor ; Thuillier, Kerian ; Università degli Studi di Milano-Bicocca = University of Milano-Bicocca (UNIMIB) ; et al.

Contributions to Path Problems in Graphs
Ducoffe, Guillaume ; Faculty of Mathematics and Computer Science [Bucuresti] ; University of Bucharest (UniBuc) ; et al.
Data Structures and Algorithms [cs.DS]. University of Bucharest, Faculty of Mathematics and Computer Science, 2025

Modeling of the three major scheduling constraints for optimum resolution
Modélisation des trois contraintes majeures d’ordonnancement pour une résolution optimum
Cousin, Xavier ; Auteur indépendant

2-triangulation de micro-structure pour la résolution de CSP
Ndiaye, Samba Ndojh ; Laboratoire des Sciences de l'Information et des Systèmes (LSIS) ; Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Arts et Métiers Paristech ENSAM Aix-en-Provence-Centre National de la Recherche Scientifique (CNRS) ; et al.
MajecSTIC 2005 : Manifestation des Jeunes Chercheurs francophones dans les domaines des STIC. :180-187

Mixed Integer Linear Programming Framework for SAT Variants of the Connected Flow Problem ; Modélisations par Programmation Linéaire en Nombres Entiers pour des Variantes SAT du Problème de Flot connexe
Epain, Victor ; Thuillier, Kerian ; Università degli Studi di Milano-Bicocca = University of Milano-Bicocca (UNIMIB) ; et al.
https://hal.science/hal-05133695 ; 2025.

Reachability problems for general rotor walks in graphs
Problèmes d'accessibilité des marches de rotors générales dans les graphes
Duhaze-Pradines, Loric ; Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID) ; Université de Versailles Saint-Quentin-en-Yvelines (UVSQ) ; et al.
Computer Science and Game Theory [cs.GT]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG051⟩

About Some Hereditary Classes of Graphs : Algorithms - Structure - Coloration
Charbit, Pierre ; Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)) ; Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Discrete Mathematics [cs.DM]. Université Paris Diderot, 2019

Reconstruction combinatoire de réseaux phylogénétiques
Gambette, Philippe ; Algorithmes, Graphes et Combinatoire (ALGCO) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
Biosystema. 28:85-92

Multicriteria shortest paths and related geometric problems
Calcul de plus courts chemins multicritères et problèmes géométriques connexes
Lentz, Antonin ; Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Algorithme et structure de données [cs.DS]. Université de Bordeaux, 2021. Français. ⟨NNT : 2021BORD0179⟩

Contributions to natural and extended formulations for Combinatorial Optimization Problems
Contributions to natural and extended formulations for Combinatorial Optimization Problems: Applications to exact and approximation algorithms
Nguyen, Viet Hung ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Université Clermont Auvergne [2017-2020] (UCA [2017-2020])-Centre National de la Recherche Scientifique (CNRS) ; et al.
Discrete Mathematics [cs.DM]. Sorbonne Université UPMC, 2016

Modeling of the three major scheduling constraints for optimum resolution ; Modélisation des trois contraintes majeures d’ordonnancement pour une résolution optimum
Cousin, Xavier ; Auteur indépendant
https://hal.science/hal-04112310 ; 2023.

Reachability Problems for Rotor Walks in Graphs
Problème d'accessibilité de marches de rotors dans des graphes
Duhaze, Loric ; Graphes, Algorithmes et Combinatoire - LISN (GALaC) ; Laboratoire Interdisciplinaire des Sciences du Numérique (LISN) ; et al.
Informatique [cs]. Université Paris-Saclay (2020-..), 2023. Français. ⟨NNT : ⟩

Characterization of structures explored in molecular dynamics simulations.
Caractérisation de structures explorées dans les simulations de dynamique moléculaire.
Bougueroua, Sana ; Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID) ; Université de Versailles Saint-Quentin-en-Yvelines (UVSQ) ; et al.
Algorithme et structure de données [cs.DS]. Université Paris Saclay (COmUE), 2017. Français. ⟨NNT : 2017SACLV099⟩

Reachability problems for general rotor walks in graphs ; Problèmes d'accessibilité des marches de rotors générales dans les graphes
Duhaze-Pradines, Loric ; Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID) ; Université de Versailles Saint-Quentin-en-Yvelines (UVSQ) ; et al.
https://theses.hal.science/tel-04504876 ; Computer Science and Game Theory [cs.GT]. Université Paris-Saclay, 2023. English. ⟨NNT : 2023UPASG051⟩.

Reconstruction of ancestral vertebrate genomes
Reconstruction de génomes ancestraux chez les vertébrés
Muffato, Matthieu ; Institut de biologie de l'ENS Paris (IBENS) ; Département de Biologie - ENS-PSL (IBENS) ; et al.
Interactions entre organismes. Université d'Evry-Val d'Essonne, 2010. Français. ⟨NNT : ⟩

Combinatorial Methods for Phylogenetic Network Reconstruction
Méthodes combinatoires de reconstruction de réseaux phylogénétiques
Gambette, Philippe ; Algorithmes, Graphes et Combinatoire (ALGCO) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
Informatique [cs]. Université Montpellier II - Sciences et Techniques du Languedoc, 2010. Français. ⟨NNT : 2010MON20214⟩

Multicriteria shortest paths and related geometric problems ; Calcul de plus courts chemins multicritères et problèmes géométriques connexes
Lentz, Antonin ; Bordeaux ; Hanusse, Nicolas ; et al.

Des peptides à explorer
Pupin, Maude ; Laboratoire d'Informatique Fondamentale de Lille (LIFL) ; Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)

Reachability Problems for Rotor Walks in Graphs ; Problème d'accessibilité de marches de rotors dans des graphes
Duhaze, Loric ; Graphes, Algorithmes et Combinatoire - LISN (GALaC) ; Laboratoire Interdisciplinaire des Sciences du Numérique (LISN) ; et al.
https://universite-paris-saclay.hal.science/tel-04454463 ; Informatique [cs]. Université Paris-Saclay (2020-.), 2023. Français. ⟨NNT : ⟩.

Characterization of structures explored in molecular dynamics simulations. ; Caractérisation de structures explorées dans les simulations de dynamique moléculaire.
Bougueroua, Sana ; Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID) ; Université de Versailles Saint-Quentin-en-Yvelines (UVSQ) ; et al.
https://theses.hal.science/tel-01737620 ; Algorithme et structure de données [cs.DS]. Université Paris Saclay (COmUE), 2017. Français. ⟨NNT : 2017SACLV099⟩.