Constraint programming approaches for finding conserved metabolic and genomic patterns
Systems biology is a relatively new field of science that studies living organisms as they are found in nature. This approach differs from previous approaches by combining information from different fields (biology, physiology, biochemistry, etc.) to understand the functions of these organisms, requ...
Saved in:
| Published in | Computers & operations research Vol. 183; p. 107166 |
|---|---|
| Main Authors | , , , , , , , |
| Format | Journal Article |
| Language | English |
| Published |
Elsevier Ltd
01.11.2025
Elsevier |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0305-0548 1873-765X |
| DOI | 10.1016/j.cor.2025.107166 |
Cover
| Abstract | Systems biology is a relatively new field of science that studies living organisms as they are found in nature. This approach differs from previous approaches by combining information from different fields (biology, physiology, biochemistry, etc.) to understand the functions of these organisms, requiring the use of specialized and efficient treatment and analysis algorithms. Many approaches for comparing biological networks are based on graph models in which the vertices represent biological components and the edges or arcs represent interactions between components. This paper focuses on an NP-hard problem related to heterogeneous biological networks. The main objective is to study the relationship between metabolism and genome. The metabolic network is modeled by a directed graph D and gene proximity is modeled by an undirected graph G (D and G are built on the same set of vertices). The proposed approaches (based on constraint programming) identify paths or trails in D whose vertices induce a connected component in G. The paths represent reaction chains in the metabolic network catalyzed by products of neighboring genes in the genome. These biologically significant patterns allow different species to be compared. |
|---|---|
| AbstractList | Systems biology is a relatively new field of science that studies living organisms as they are found in nature. This approach differs from previous approaches by combining information from different fields (biology, physiology, biochemistry, etc.) to understand the functions of these organisms, requiring the use of specialized and efficient treatment and analysis algorithms. Many approaches for comparing biological networks are based on graph models in which the vertices represent biological components and the edges or arcs represent interactions between components. This paper focuses on an NP-hard problem related to heterogeneous biological networks. The main objective is to study the relationship between metabolism and genome. The metabolic network is modeled by a directed graph D and gene proximity is modeled by an undirected graph G (D and G are built on the same set of vertices). The proposed approaches (based on constraint programming) identify paths or trails in D whose vertices induce a connected component in G. The paths represent reaction chains in the metabolic network catalyzed by products of neighboring genes in the genome. These biologically significant patterns allow different species to be compared. |
| ArticleNumber | 107166 |
| Author | Cabret, Florent Dhib, Cheikh Ahmed Sidi, Mohamed Lemine Mohamed Babou, Hafedh Soukhal, Ameur Bocquillon, Ronan Nanne, Mohamedade Farouk Néron, Emmanuel |
| Author_xml | – sequence: 1 givenname: Mohamed Lemine orcidid: 0009-0001-6663-5995 surname: Ahmed Sidi fullname: Ahmed Sidi, Mohamed Lemine organization: Laboratoire d’Informatique Fondamentale et Appliquée de Tours, LIFAT, EA 6300, ROOT, Polytech Tours, 64 avenue Jean Portalis, 37200 Tours, France – sequence: 2 givenname: Ronan orcidid: 0000-0002-4925-0284 surname: Bocquillon fullname: Bocquillon, Ronan email: ronan.bocquillon@univ-tours.fr organization: Laboratoire d’Informatique Fondamentale et Appliquée de Tours, LIFAT, EA 6300, ROOT, Polytech Tours, 64 avenue Jean Portalis, 37200 Tours, France – sequence: 3 givenname: Florent surname: Cabret fullname: Cabret, Florent organization: Laboratoire d’Informatique Fondamentale et Appliquée de Tours, LIFAT, EA 6300, ROOT, Polytech Tours, 64 avenue Jean Portalis, 37200 Tours, France – sequence: 4 givenname: Hafedh surname: Mohamed Babou fullname: Mohamed Babou, Hafedh organization: Unité de Recherche Calcul Scientifique, Informatique et Data Science de l’Université de Nouakchott, Nouakchott, Mauritania – sequence: 5 givenname: Cheikh orcidid: 0000-0003-0170-6569 surname: Dhib fullname: Dhib, Cheikh organization: Unité de Recherche Calcul Scientifique, Informatique et Data Science de l’Université de Nouakchott, Nouakchott, Mauritania – sequence: 6 givenname: Emmanuel orcidid: 0009-0007-8136-8323 surname: Néron fullname: Néron, Emmanuel organization: Laboratoire d’Informatique Fondamentale et Appliquée de Tours, LIFAT, EA 6300, ROOT, Polytech Tours, 64 avenue Jean Portalis, 37200 Tours, France – sequence: 7 givenname: Ameur orcidid: 0000-0002-4668-823X surname: Soukhal fullname: Soukhal, Ameur organization: Laboratoire d’Informatique Fondamentale et Appliquée de Tours, LIFAT, EA 6300, ROOT, Polytech Tours, 64 avenue Jean Portalis, 37200 Tours, France – sequence: 8 givenname: Mohamedade Farouk surname: Nanne fullname: Nanne, Mohamedade Farouk organization: Unité de Recherche Calcul Scientifique, Informatique et Data Science de l’Université de Nouakchott, Nouakchott, Mauritania |
| BackLink | https://hal.science/hal-05113998$$DView record in HAL |
| BookMark | eNp9kEFLAzEQhYNUsFZ_gLe9etia7G6yWTyVolYoeFHxFtLJpE3pJiVZCv57s1Q8OpeZN7xvYN41mfjgkZA7RueMMvGwn0OI84pWPOuWCXFBpky2ddkK_jUhU1pTXlLeyCtyndKe5morNiWfy-DTELXzQ3GMYRt13zu_LfQxKw07TIUNsbDOm3EN2Y3xhKbocdCbcHBQaG-KLfrQ5_mohwGjTzfk0upDwtvfPiMfz0_vy1W5fnt5XS7WJdSVHMqWd0wCSt2IxhgwFExX240VUouqFbYD3miUzDSwEYYb29YAtmkkrzaUAq1n5P58d6cP6hhdr-O3Ctqp1WKtxh3ljNVdJ08se9nZCzGkFNH-AYyqMUS1VzlENYaoziFm5vHMYH7i5DCqBA49oHERYVAmuH_oHz24fYU |
| Cites_doi | 10.1093/nar/gkh411 10.1093/nar/gky962 10.1109/ICCABS.2011.5729937 10.1089/cmb.2013.0150 10.1016/j.jtbi.2007.09.042 10.1126/science.286.5439.509 10.1016/j.cor.2016.11.010 10.1016/j.cor.2009.02.003 10.1093/bioinformatics/bti711 10.1186/s12859-018-2542-2 10.3390/math6100183 10.1016/j.csbj.2020.09.011 10.1093/nar/28.20.4021 10.1093/bioinformatics/btm279 10.1073/pnas.1534710100 10.1016/0167-6377(91)90028-N 10.1016/j.ejor.2019.04.011 10.1016/S0022-2836(02)00140-7 10.1098/rsif.2010.0063 10.1186/1752-0509-2-100 10.1126/science.1099511 10.1016/j.cor.2018.01.003 10.1016/j.cor.2017.03.001 10.1002/pro.3715 10.1016/j.meegid.2016.07.022 10.1126/science.1173299 10.1016/j.cor.2021.105584 |
| ContentType | Journal Article |
| Copyright | 2025 The Authors Attribution |
| Copyright_xml | – notice: 2025 The Authors – notice: Attribution |
| DBID | 6I. AAFTH AAYXX CITATION 1XC |
| DOI | 10.1016/j.cor.2025.107166 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Hyper Article en Ligne (HAL) |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science Business |
| EISSN | 1873-765X |
| ExternalDocumentID | oai_HAL_hal_05113998v1 10_1016_j_cor_2025_107166 S0305054825001947 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 186 1B1 1OL 1RT 1~. 1~5 29F 4.4 457 4G. 5GY 5VS 6I. 6J9 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AABNK AAEDT AAEDW AAFJI AAFTH AAIKJ AAKOC AALRI AAOAW AAQXK AARIN AATTM AAXKI AAXUO AAYFN AAYWO ABAOU ABBOA ABDPE ABEFU ABFNM ABFRF ABJNI ABMAC ABMMH ABUCO ABWVN ABXDB ACDAQ ACGFO ACGFS ACNCT ACNNM ACRLP ACRPL ACVFH ACZNC ADBBV ADCNI ADEZE ADGUI ADJOM ADMUD ADNMO AEBSH AEFWE AEHXG AEIPS AEKER AENEX AEUPX AFFNX AFJKZ AFPUW AFTJW AGCQF AGHFR AGQPQ AGUBO AGYEJ AHHHB AHZHX AI. AIALX AIEXJ AIGII AIGVJ AIIUN AIKHN AITUG AKBMS AKRWK AKYEP ALMA_UNASSIGNED_HOLDINGS AMRAJ ANKPU AOMHK AOUOD APLSM APXCP ARUGR ASPBG AVARZ AVWKF AXJTR AZFZN BKOJK BKOMP BLXMC CS3 DU5 EBS EFJIC EFKBS EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q GBLVA GBOLZ HAMUX HVGLF HZ~ H~9 IHE J1W KOM LY1 M41 MHUIS MO0 MS~ O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ PRBVW Q38 R2- ROL RPZ RXW SDF SDG SDP SDS SES SEW SPC SPCBC SSB SSD SSO SSV SSW SSZ T5K TAE TN5 U5U UPT VH1 WUQ XPP ZMT ~02 ~G- AAYXX AFXIZ AGRNS BNPGV CITATION RIG 1XC AAYOK SSH |
| ID | FETCH-LOGICAL-c328t-75918ce8a464ddcd0cd93fbf68a6276f9c54ae81d4cb6d5df73ccf44852b00c03 |
| IEDL.DBID | AIKHN |
| ISSN | 0305-0548 |
| IngestDate | Wed Jun 18 06:32:40 EDT 2025 Wed Aug 06 19:12:59 EDT 2025 Sat Aug 30 17:14:16 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Bioinformatics Constraint programming Comparison of biological networks |
| Language | English |
| License | This is an open access article under the CC BY license. Attribution: http://creativecommons.org/licenses/by |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c328t-75918ce8a464ddcd0cd93fbf68a6276f9c54ae81d4cb6d5df73ccf44852b00c03 |
| ORCID | 0000-0003-0170-6569 0000-0002-4668-823X 0009-0007-8136-8323 0000-0002-4925-0284 0009-0001-6663-5995 |
| OpenAccessLink | https://www.sciencedirect.com/science/article/pii/S0305054825001947 |
| ParticipantIDs | hal_primary_oai_HAL_hal_05113998v1 crossref_primary_10_1016_j_cor_2025_107166 elsevier_sciencedirect_doi_10_1016_j_cor_2025_107166 |
| PublicationCentury | 2000 |
| PublicationDate | November 2025 2025-11-00 2025-11 |
| PublicationDateYYYYMMDD | 2025-11-01 |
| PublicationDate_xml | – month: 11 year: 2025 text: November 2025 |
| PublicationDecade | 2020 |
| PublicationTitle | Computers & operations research |
| PublicationYear | 2025 |
| Publisher | Elsevier Ltd Elsevier |
| Publisher_xml | – name: Elsevier Ltd – name: Elsevier |
| References | Dechter, Meiri (b16) 1989 Lee, Date, Adai, Marcotte (b33) 2004; 306 Ahmed Sidi, Mohamed Lemine, Bocquillon, Ronan, Source code and datasets related to this work Prud’homme, Fages, Lorca (b38) 2017 Fages (b20) 2014 Abdelmaguid (b1) 2018; 6 Junker (b26) 2001; vol. 4 Rison, Teichmann, Thornton (b40) 2002; 318 Ahmed Sidi (b2) 2022 Bordron, Philippe, Eveillard, Damien, Rusu, Irena, 2011. SIPPER: A flexible method to integrate heterogeneous data into a metabolic network. In: 2011 IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences. ICCABS 2011, (June), ISBN: 9781612848525, pp. 40–45. Anon,, CaSciModOT Barabasi (b8) 2009; 325 Erdős, P.; Rényi, A. (b19) 1959; 6 Zaharia (b45) 2018 Ahmed Sidi, Bocquillon, Mohamed Babou, Dhib, Néron, Soukhal, Nanne (b4) 2022; 138 Sharan, Ulitsky, Shamir (b41) 2007; 3 Dias, Campêlo, Souza, Andrade (b17) 2017; 84 Cormen, Charles, Rivest, Clifford (b15) 2009 Blin, Fertin, Mohamed-Babou, Rusu, Sikora, Vialette (b11) 2011 Martin (b35) 1991; 10 Wernicke, Rasche (b44) 2007; 23 Gamermann, Montagud, Conejero, Urchueguía, de Córdoba (b24) 2014; 21 Fertin, Mohamed Babou, Rusu (b22) 2012; vol. 7276 LNCS Kelley, Yuan, Lewitter, Sharan, Stockwell, Ideker (b30) 2004; 32 Silvestri, Laporte, Cerulli (b42) 2017; 81 Kuchaiev, Milenković, Memišević, Hayes, Pržulj (b32) 2010; 7 Klau (b31) 2009; 10 Ma, Liao (b34) 2020; 18 Kanehisa (b27) 2019; 28 Matsypura, Veremyev, Prokopyev, Pasiliao (b36) 2019; 278 Durek, Walther (b18) 2008; 2 Huthmacher, Gille, Holzhütter (b25) 2008; 252 Kelley, Sharan, Karp, Sittler, Root, Stockwell, Ideker (b29) 2003; 100 Ogata, Fujibuchi, Goto, Kanehisa (b37) 2000; 28 . Zheng, Szustakowski, Fortnow, Roberts, Kasif (b47) 2003; 13 Qi, Wang, Jing, Jian, Ning, Zhang (b39) 2016; 44 Fleischner (b23) 1991; vol. 50 Kanehisa, Sato, Furumichi, Morishima, Tanabe (b28) 2019; 47 Fages (b21) 2014; 20 Tilk, Irnich (b43) 2018; 93 Babou (b7) 2012 Boyer, Morgat, Labarre, Pothier, Viari (b13) 2005; 21 Captivo, Clímaco, Pascoal (b14) 2009; 36 Barabasi, Albert (b9) 1999; 286 Akihiro Nakaya, Kanehisa (b5) 2001; 53 Bayardo, Schrag (b10) 1997 Zaharia, Labedan, Froidevaux, Denise (b46) 2019; 20 Bayardo (10.1016/j.cor.2025.107166_b10) 1997 Ahmed Sidi (10.1016/j.cor.2025.107166_b2) 2022 Dechter (10.1016/j.cor.2025.107166_b16) 1989 Lee (10.1016/j.cor.2025.107166_b33) 2004; 306 Wernicke (10.1016/j.cor.2025.107166_b44) 2007; 23 Gamermann (10.1016/j.cor.2025.107166_b24) 2014; 21 Durek (10.1016/j.cor.2025.107166_b18) 2008; 2 Fages (10.1016/j.cor.2025.107166_b21) 2014; 20 Erdős, P.; Rényi, A. (10.1016/j.cor.2025.107166_b19) 1959; 6 Huthmacher (10.1016/j.cor.2025.107166_b25) 2008; 252 Ahmed Sidi (10.1016/j.cor.2025.107166_b4) 2022; 138 Kelley (10.1016/j.cor.2025.107166_b29) 2003; 100 Fleischner (10.1016/j.cor.2025.107166_b23) 1991; vol. 50 Akihiro Nakaya (10.1016/j.cor.2025.107166_b5) 2001; 53 Kanehisa (10.1016/j.cor.2025.107166_b28) 2019; 47 Qi (10.1016/j.cor.2025.107166_b39) 2016; 44 Sharan (10.1016/j.cor.2025.107166_b41) 2007; 3 Captivo (10.1016/j.cor.2025.107166_b14) 2009; 36 Matsypura (10.1016/j.cor.2025.107166_b36) 2019; 278 Ma (10.1016/j.cor.2025.107166_b34) 2020; 18 Zaharia (10.1016/j.cor.2025.107166_b46) 2019; 20 Barabasi (10.1016/j.cor.2025.107166_b9) 1999; 286 Abdelmaguid (10.1016/j.cor.2025.107166_b1) 2018; 6 Tilk (10.1016/j.cor.2025.107166_b43) 2018; 93 Zheng (10.1016/j.cor.2025.107166_b47) 2003; 13 Boyer (10.1016/j.cor.2025.107166_b13) 2005; 21 Cormen (10.1016/j.cor.2025.107166_b15) 2009 Prud’homme (10.1016/j.cor.2025.107166_b38) 2017 Fages (10.1016/j.cor.2025.107166_b20) 2014 Kanehisa (10.1016/j.cor.2025.107166_b27) 2019; 28 Kelley (10.1016/j.cor.2025.107166_b30) 2004; 32 Dias (10.1016/j.cor.2025.107166_b17) 2017; 84 10.1016/j.cor.2025.107166_b3 10.1016/j.cor.2025.107166_b6 10.1016/j.cor.2025.107166_b12 Blin (10.1016/j.cor.2025.107166_b11) 2011 Barabasi (10.1016/j.cor.2025.107166_b8) 2009; 325 Junker (10.1016/j.cor.2025.107166_b26) 2001; vol. 4 Kuchaiev (10.1016/j.cor.2025.107166_b32) 2010; 7 Babou (10.1016/j.cor.2025.107166_b7) 2012 Silvestri (10.1016/j.cor.2025.107166_b42) 2017; 81 Martin (10.1016/j.cor.2025.107166_b35) 1991; 10 Rison (10.1016/j.cor.2025.107166_b40) 2002; 318 Ogata (10.1016/j.cor.2025.107166_b37) 2000; 28 Fertin (10.1016/j.cor.2025.107166_b22) 2012; vol. 7276 LNCS Klau (10.1016/j.cor.2025.107166_b31) 2009; 10 Zaharia (10.1016/j.cor.2025.107166_b45) 2018 |
| References_xml | – volume: 23 start-page: 1978 year: 2007 end-page: 1985 ident: b44 article-title: Simple and fast alignment of metabolic pathways by exploiting local diversity publication-title: Bioinformatics – volume: 18 start-page: 2647 year: 2020 end-page: 2656 ident: b34 article-title: A review of protein–protein interaction network alignment: From pathway comparison to global alignment publication-title: Comput. Struct. Biotechnol. J. – start-page: 1 year: 2012 end-page: 145 ident: b7 article-title: Comparaison de réseaux biologiques biologiques – year: 2014 ident: b20 article-title: Exploitation de structures de graphe en programmation par contraintes – volume: 44 start-page: 313 year: 2016 end-page: 317 ident: b39 article-title: Prevalence and multilocus genotyping of cryptosporidium andersoni in dairy cattle and he cattle in Xinjiang, China publication-title: Infect. Genet. Evol. – volume: 252 start-page: 456 year: 2008 end-page: 464 ident: b25 article-title: A computational analysis of protein interactions in metabolic networks reveals novel enzyme pairs potentially involved in metabolic channeling publication-title: J. Theoret. Biol. – year: 2022 ident: b2 article-title: Nouvelles approches informatiques et mathématiques pour la résolution de problèmes biologiques – volume: 81 start-page: 322 year: 2017 end-page: 332 ident: b42 article-title: A branch-and-cut algorithm for the minimum branch vertices spanning tree problem publication-title: Comput. Oper. Res. – volume: 286 start-page: 509 year: 1999 end-page: 512 ident: b9 article-title: Emergence of scaling in random networks publication-title: Science – start-page: 203 year: 1997 end-page: 208 ident: b10 article-title: Using CSP look-back techniques to solve real-world SAT instances publication-title: AAAI/IAAI – year: 1989 ident: b16 article-title: Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems – volume: 28 start-page: 1947 year: 2019 end-page: 1951 ident: b27 article-title: Toward understanding the origin and evolution of cellular organisms publication-title: Prot. Sci. – volume: 28 start-page: 4021 year: 2000 end-page: 4028 ident: b37 article-title: A heuristic graph comparison algorithm and its application to detect functionally related enzyme clusters publication-title: Nucleic Acids Res. – volume: 3 start-page: 1 year: 2007 end-page: 13 ident: b41 article-title: Network-based prediction of protein function publication-title: Mol. Syst. Biol. – volume: 6 start-page: 1 year: 2018 end-page: 17 ident: b1 article-title: An efficient mixed integer linear programming model for the minimum spanning tree problem publication-title: Mathematics – volume: 138 year: 2022 ident: b4 article-title: Improved approaches to solve the one-to-one SkewGraM problem publication-title: Comput. Oper. Res. – volume: 325 start-page: 412 year: 2009 end-page: 413 ident: b8 article-title: Scale-free networks: A decade and beyond publication-title: Science – volume: 100 start-page: 11394 year: 2003 end-page: 11399 ident: b29 article-title: Conserved pathways within bacteria and yeast as revealed by global protein network alignment publication-title: Proc. Natl. Acad. Sci. – volume: 10 year: 2009 ident: b31 article-title: A new graph-based method for pairwise global network alignment publication-title: BMC Bioinformatics – volume: 20 start-page: 1 year: 2019 end-page: 20 ident: b46 article-title: CoMetGeNe: Mining conserved neighborhood patterns in metabolic and genomic contexts publication-title: BMC Bioinformatics – volume: 20 year: 2014 ident: b21 article-title: On the use of graphs within constraint-programming publication-title: Constraints – volume: vol. 50 start-page: X.1 year: 1991 end-page: X.34 ident: b23 article-title: Chapter x algorithms for Eulerian trails and cycle decompositions, maze search algorithms publication-title: Eulerian Graphs and Related Topics – volume: 21 start-page: 508 year: 2014 end-page: 519 ident: b24 article-title: New approach for phylogenetic tree recovery based on genome-scale metabolic networks publication-title: J. Comput. Biol. – volume: 93 start-page: 113 year: 2018 end-page: 122 ident: b43 article-title: Combined column-and-row-generation for the optimal communication spanning tree problem publication-title: Comput. Oper. Res. – volume: 36 start-page: 3082 year: 2009 end-page: 3085 ident: b14 article-title: A mixed integer linear formulation for the minimum label spanning tree problem publication-title: Comput. Oper. Res. – volume: 278 year: 2019 ident: b36 article-title: On exact solution approaches for the longest induced path problem publication-title: European J. Oper. Res. – volume: 6 start-page: 290 year: 1959 end-page: 297 ident: b19 article-title: On random graphs I publication-title: Publ. Math. – volume: 13 start-page: 1221 year: 2003 end-page: 1230 ident: b47 article-title: Computational identification of operons in microbial genomes publication-title: Genome Res. – reference: . – reference: Bordron, Philippe, Eveillard, Damien, Rusu, Irena, 2011. SIPPER: A flexible method to integrate heterogeneous data into a metabolic network. In: 2011 IEEE 1st International Conference on Computational Advances in Bio and Medical Sciences. ICCABS 2011, (June), ISBN: 9781612848525, pp. 40–45. – volume: vol. 4 year: 2001 ident: b26 article-title: Quickxplain: Conflict detection for arbitrary constraint propagation algorithms publication-title: IJCAI’01 Workshop on Modelling and Solving Problems with Constraints – volume: 10 start-page: 119 year: 1991 end-page: 128 ident: b35 article-title: Using separation algorithms to generate mixed integer model reformulations publication-title: Oper. Res. Lett. – volume: 2 start-page: 1 year: 2008 end-page: 20 ident: b18 article-title: The integrated analysis of metabolic and protein interaction networks reveals novel molecular organizing principles publication-title: BMC Syst. Biol. – volume: 306 start-page: 1555 year: 2004 end-page: 1558 ident: b33 article-title: R EPORTS network of yeast genes publication-title: Science – volume: 318 start-page: 911 year: 2002 end-page: 932 ident: b40 article-title: Homology, pathway distance and chromosomal localization of the small molecule metabolism enzymes in escherichia coli publication-title: J. Mol. Biol. – reference: Anon,, CaSciModOT, – year: 2009 ident: b15 article-title: Introduction to Algorithms – year: 2018 ident: b45 article-title: Mining conserved neighborhood patterns in metabolic and genomic contexts – reference: Ahmed Sidi, Mohamed Lemine, Bocquillon, Ronan, Source code and datasets related to this work, – volume: 84 start-page: 46 year: 2017 end-page: 61 ident: b17 article-title: Min-degree constrained minimum spanning tree problem with fixed centrals and terminals: Complexity, properties and formulations publication-title: Comput. Oper. Res. – volume: 53 start-page: 44 year: 2001 end-page: 53 ident: b5 article-title: Extraction of correlated gene clusters by multiple graph comparison publication-title: Genome Inform. – volume: 21 start-page: 4209 year: 2005 end-page: 4215 ident: b13 article-title: Syntons, metabolons and interactons: An exact graph-theoretical approach for exploring neighbourhood between genomic and functional data publication-title: Bioinformatics – start-page: 272 year: 2011 end-page: 286 ident: b11 article-title: Algorithmic aspects of heterogeneous biological networks comparison publication-title: International Conference on Combinatorial Optimization and Applications – volume: 32 start-page: 83 year: 2004 end-page: 88 ident: b30 article-title: PathBLAST: A tool for alignment of protein interaction networks publication-title: Nucleic Acids Res. – volume: 7 start-page: 1341 year: 2010 end-page: 1354 ident: b32 article-title: Topological network alignment uncovers biological function and phylogeny publication-title: J. R. Soc. Interface – volume: vol. 7276 LNCS start-page: 184 year: 2012 end-page: 194 ident: b22 article-title: Algorithms for subnetwork mining in heterogeneous networks publication-title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) – volume: 47 start-page: D590 year: 2019 end-page: D595 ident: b28 article-title: New approach for understanding genome variations in KEGG publication-title: Nucleic Acids Res. – year: 2017 ident: b38 article-title: Choco3 documentation – volume: 32 start-page: 83 issue: WEB SERVER ISS. year: 2004 ident: 10.1016/j.cor.2025.107166_b30 article-title: PathBLAST: A tool for alignment of protein interaction networks publication-title: Nucleic Acids Res. doi: 10.1093/nar/gkh411 – ident: 10.1016/j.cor.2025.107166_b3 – year: 1989 ident: 10.1016/j.cor.2025.107166_b16 – volume: 47 start-page: D590 issue: D1 year: 2019 ident: 10.1016/j.cor.2025.107166_b28 article-title: New approach for understanding genome variations in KEGG publication-title: Nucleic Acids Res. doi: 10.1093/nar/gky962 – start-page: 1 year: 2012 ident: 10.1016/j.cor.2025.107166_b7 – ident: 10.1016/j.cor.2025.107166_b12 doi: 10.1109/ICCABS.2011.5729937 – volume: 21 start-page: 508 issue: 7 year: 2014 ident: 10.1016/j.cor.2025.107166_b24 article-title: New approach for phylogenetic tree recovery based on genome-scale metabolic networks publication-title: J. Comput. Biol. doi: 10.1089/cmb.2013.0150 – volume: 252 start-page: 456 issue: 3 year: 2008 ident: 10.1016/j.cor.2025.107166_b25 article-title: A computational analysis of protein interactions in metabolic networks reveals novel enzyme pairs potentially involved in metabolic channeling publication-title: J. Theoret. Biol. doi: 10.1016/j.jtbi.2007.09.042 – volume: 13 start-page: 1221 issue: 1 year: 2003 ident: 10.1016/j.cor.2025.107166_b47 article-title: Computational identification of operons in microbial genomes publication-title: Genome Res. – year: 2009 ident: 10.1016/j.cor.2025.107166_b15 – volume: vol. 7276 LNCS start-page: 184 year: 2012 ident: 10.1016/j.cor.2025.107166_b22 article-title: Algorithms for subnetwork mining in heterogeneous networks – volume: 286 start-page: 509 issue: 5439 year: 1999 ident: 10.1016/j.cor.2025.107166_b9 article-title: Emergence of scaling in random networks publication-title: Science doi: 10.1126/science.286.5439.509 – volume: 3 start-page: 1 issue: 88 year: 2007 ident: 10.1016/j.cor.2025.107166_b41 article-title: Network-based prediction of protein function publication-title: Mol. Syst. Biol. – year: 2018 ident: 10.1016/j.cor.2025.107166_b45 – volume: 81 start-page: 322 year: 2017 ident: 10.1016/j.cor.2025.107166_b42 article-title: A branch-and-cut algorithm for the minimum branch vertices spanning tree problem publication-title: Comput. Oper. Res. doi: 10.1016/j.cor.2016.11.010 – volume: 36 start-page: 3082 issue: 11 year: 2009 ident: 10.1016/j.cor.2025.107166_b14 article-title: A mixed integer linear formulation for the minimum label spanning tree problem publication-title: Comput. Oper. Res. doi: 10.1016/j.cor.2009.02.003 – volume: 21 start-page: 4209 issue: 23 year: 2005 ident: 10.1016/j.cor.2025.107166_b13 article-title: Syntons, metabolons and interactons: An exact graph-theoretical approach for exploring neighbourhood between genomic and functional data publication-title: Bioinformatics doi: 10.1093/bioinformatics/bti711 – volume: 20 start-page: 1 issue: 1 year: 2019 ident: 10.1016/j.cor.2025.107166_b46 article-title: CoMetGeNe: Mining conserved neighborhood patterns in metabolic and genomic contexts publication-title: BMC Bioinformatics doi: 10.1186/s12859-018-2542-2 – volume: 20 year: 2014 ident: 10.1016/j.cor.2025.107166_b21 article-title: On the use of graphs within constraint-programming publication-title: Constraints – volume: 6 start-page: 1 issue: 10 year: 2018 ident: 10.1016/j.cor.2025.107166_b1 article-title: An efficient mixed integer linear programming model for the minimum spanning tree problem publication-title: Mathematics doi: 10.3390/math6100183 – start-page: 272 year: 2011 ident: 10.1016/j.cor.2025.107166_b11 article-title: Algorithmic aspects of heterogeneous biological networks comparison – volume: 18 start-page: 2647 year: 2020 ident: 10.1016/j.cor.2025.107166_b34 article-title: A review of protein–protein interaction network alignment: From pathway comparison to global alignment publication-title: Comput. Struct. Biotechnol. J. doi: 10.1016/j.csbj.2020.09.011 – volume: 28 start-page: 4021 issue: 20 year: 2000 ident: 10.1016/j.cor.2025.107166_b37 article-title: A heuristic graph comparison algorithm and its application to detect functionally related enzyme clusters publication-title: Nucleic Acids Res. doi: 10.1093/nar/28.20.4021 – volume: 23 start-page: 1978 issue: 15 year: 2007 ident: 10.1016/j.cor.2025.107166_b44 article-title: Simple and fast alignment of metabolic pathways by exploiting local diversity publication-title: Bioinformatics doi: 10.1093/bioinformatics/btm279 – volume: 100 start-page: 11394 issue: 20 year: 2003 ident: 10.1016/j.cor.2025.107166_b29 article-title: Conserved pathways within bacteria and yeast as revealed by global protein network alignment publication-title: Proc. Natl. Acad. Sci. doi: 10.1073/pnas.1534710100 – volume: vol. 50 start-page: X.1 year: 1991 ident: 10.1016/j.cor.2025.107166_b23 article-title: Chapter x algorithms for Eulerian trails and cycle decompositions, maze search algorithms – volume: 10 start-page: 119 issue: 3 year: 1991 ident: 10.1016/j.cor.2025.107166_b35 article-title: Using separation algorithms to generate mixed integer model reformulations publication-title: Oper. Res. Lett. doi: 10.1016/0167-6377(91)90028-N – year: 2022 ident: 10.1016/j.cor.2025.107166_b2 – ident: 10.1016/j.cor.2025.107166_b6 – volume: 278 issue: 2 year: 2019 ident: 10.1016/j.cor.2025.107166_b36 article-title: On exact solution approaches for the longest induced path problem publication-title: European J. Oper. Res. doi: 10.1016/j.ejor.2019.04.011 – volume: 318 start-page: 911 issue: 3 year: 2002 ident: 10.1016/j.cor.2025.107166_b40 article-title: Homology, pathway distance and chromosomal localization of the small molecule metabolism enzymes in escherichia coli publication-title: J. Mol. Biol. doi: 10.1016/S0022-2836(02)00140-7 – volume: 7 start-page: 1341 issue: 50 year: 2010 ident: 10.1016/j.cor.2025.107166_b32 article-title: Topological network alignment uncovers biological function and phylogeny publication-title: J. R. Soc. Interface doi: 10.1098/rsif.2010.0063 – volume: 2 start-page: 1 year: 2008 ident: 10.1016/j.cor.2025.107166_b18 article-title: The integrated analysis of metabolic and protein interaction networks reveals novel molecular organizing principles publication-title: BMC Syst. Biol. doi: 10.1186/1752-0509-2-100 – volume: 306 start-page: 1555 issue: November year: 2004 ident: 10.1016/j.cor.2025.107166_b33 article-title: R EPORTS network of yeast genes publication-title: Science doi: 10.1126/science.1099511 – volume: 93 start-page: 113 year: 2018 ident: 10.1016/j.cor.2025.107166_b43 article-title: Combined column-and-row-generation for the optimal communication spanning tree problem publication-title: Comput. Oper. Res. doi: 10.1016/j.cor.2018.01.003 – start-page: 203 year: 1997 ident: 10.1016/j.cor.2025.107166_b10 article-title: Using CSP look-back techniques to solve real-world SAT instances – volume: 84 start-page: 46 year: 2017 ident: 10.1016/j.cor.2025.107166_b17 article-title: Min-degree constrained minimum spanning tree problem with fixed centrals and terminals: Complexity, properties and formulations publication-title: Comput. Oper. Res. doi: 10.1016/j.cor.2017.03.001 – volume: 6 start-page: 290 year: 1959 ident: 10.1016/j.cor.2025.107166_b19 article-title: On random graphs I publication-title: Publ. Math. – volume: vol. 4 year: 2001 ident: 10.1016/j.cor.2025.107166_b26 article-title: Quickxplain: Conflict detection for arbitrary constraint propagation algorithms – volume: 10 issue: SUPPL. 1 year: 2009 ident: 10.1016/j.cor.2025.107166_b31 article-title: A new graph-based method for pairwise global network alignment publication-title: BMC Bioinformatics – year: 2017 ident: 10.1016/j.cor.2025.107166_b38 – volume: 53 start-page: 44 year: 2001 ident: 10.1016/j.cor.2025.107166_b5 article-title: Extraction of correlated gene clusters by multiple graph comparison publication-title: Genome Inform. – year: 2014 ident: 10.1016/j.cor.2025.107166_b20 – volume: 28 start-page: 1947 issue: 11 year: 2019 ident: 10.1016/j.cor.2025.107166_b27 article-title: Toward understanding the origin and evolution of cellular organisms publication-title: Prot. Sci. doi: 10.1002/pro.3715 – volume: 44 start-page: 313 year: 2016 ident: 10.1016/j.cor.2025.107166_b39 article-title: Prevalence and multilocus genotyping of cryptosporidium andersoni in dairy cattle and he cattle in Xinjiang, China publication-title: Infect. Genet. Evol. doi: 10.1016/j.meegid.2016.07.022 – volume: 325 start-page: 412 issue: 5939 year: 2009 ident: 10.1016/j.cor.2025.107166_b8 article-title: Scale-free networks: A decade and beyond publication-title: Science doi: 10.1126/science.1173299 – volume: 138 year: 2022 ident: 10.1016/j.cor.2025.107166_b4 article-title: Improved approaches to solve the one-to-one SkewGraM problem publication-title: Comput. Oper. Res. doi: 10.1016/j.cor.2021.105584 |
| SSID | ssj0000721 |
| Score | 2.4680405 |
| Snippet | Systems biology is a relatively new field of science that studies living organisms as they are found in nature. This approach differs from previous approaches... |
| SourceID | hal crossref elsevier |
| SourceType | Open Access Repository Index Database Publisher |
| StartPage | 107166 |
| SubjectTerms | Bioinformatics Comparison of biological networks Computer Science Constraint programming Operations Research |
| Title | Constraint programming approaches for finding conserved metabolic and genomic patterns |
| URI | https://dx.doi.org/10.1016/j.cor.2025.107166 https://hal.science/hal-05113998 |
| Volume | 183 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3JTsMwEB11kRAcWAqIslQW4oQUmsVxkmNVUZWtFyjqLUq8iCIaqjb0yLczTmKWAxy4xXZsRWN75k1mAzhzU5RJzKOWGwrb0oYhC8UCtWyEzrajFOeFxfRuxIZjej3xJzXom1gY7VZZ8f6SpxfcuurpVtTszqfT7r0-qgg4UMXROIUGdWi6XsT8BjR7VzfD0RdDDorwK_2-pScY42bh5oU6HmqJro9tVB3Yb-Kp_mR-tBaCZ7ANmxViJL3yo3agJrMWrBmH9RZsmcIMpLqnLdj4lmVwFx51Uc6iFEROKnesGQ4Qk05cLgkiV1JYr7Gba__qxUoKMpM5HpGXKSdJJojO5jrD53mRkTNb7sF4cPnQH1pVOQWLe26YW4EfOSGXYUIZFYILm4vIU6liYcLcgKmI-zSRiF8pT5nwhQo8zhWqb76Ld5Pb3j40stdMHgBxkTdRGYUs8UIcD5LU8WSkEqZ8EUnK23BuqBjPy6wZsXEne46R5LEmeVySvA3U0Dn-sfUxcvW_pp3innwur9NkD3u3se5DRoPANgpXzuH_1j6Cdd0qYw6PoZEv3uQJgo887UD94t3pVEfsA0Cr13s |
| linkProvider | Elsevier |
| linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV07T8MwED5BkXgMPAqI8rQQE1JomthOMlYVqEBhoSA2K_FDFNFQQejIb-ecxDwGGNgSO7Gis333Xe7zHcBRkKFN4iH1glj5ng0MeWgWqOcjdPY7xkhZRkyvrnn_ll7cs_sZ6LmzMJZWWev-SqeX2rpuadfSbE9Go_aNXaoIONDFsTiFRrMwR1kYWV7fyfsXz8MmAKtCCcyzj7vQZknyQg8PfcSA4T06Dvw34zT74H6zlmbnbBWWa7xIutUnrcGMzpsw7-jqTVhxZRlIvUubsPQtx-A63NmSnGUhiILUZKwxdhCXTFy_EsStpIxdY7O07OqXqVZkrAtcIE8jSdJcEZvLdYzXkzIfZ_66Abdnp8Ne36uLKXgyDOLCi1jSiaWOU8qpUlL5UiWhyQyPUx5E3CSS0VQjeqUy44opE4VSGnTeWIA7U_rhJjTy51xvAQlQM1GdxDwNY-yP0qwT6sSk3DCVaCpbcOykKCZVzgzhyGSPAkUurMhFJfIWUCdn8WPiBer0v147xDn5HN4mye53B8K2oZpBWJvE0872_8Y-gIX-8GogBufXlzuwaHuq04e70Che3vQewpAi2y-X2QcPPdhG |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Constraint+programming+approaches+for+finding+conserved+metabolic+and+genomic+patterns&rft.jtitle=Computers+%26+operations+research&rft.au=Ahmed+Sidi%2C+Mohamed+Lemine&rft.au=Bocquillon%2C+Ronan&rft.au=Cabret%2C+Florent&rft.au=Mohamed+Babou%2C+Hafedh&rft.date=2025-11-01&rft.pub=Elsevier&rft.issn=0305-0548&rft.eissn=1873-765X&rft.volume=183&rft_id=info:doi/10.1016%2Fj.cor.2025.107166&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai_HAL_hal_05113998v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0305-0548&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0305-0548&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0305-0548&client=summon |