iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/pid/29/2067.ris
Provider: Schloss Dagstuhl - Leibniz Center for Informatics Database: dblp computer science bibliography Content:text/plain; charset="utf-8" TY - CPAPER ID - DBLP:conf/cpaior/BekkouchaOBC24 AU - Bekkoucha, Djawad AU - Ouali, Abdelkader AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - Efficiently Mining Closed Interval Patterns with Constraint Programming. BT - Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part I SP - 51 EP - 67 PY - 2024// DO - 10.1007/978-3-031-60597-0_4 UR - https://doi.org/10.1007/978-3-031-60597-0_4 ER - TY - CPAPER ID - DBLP:conf/ida/KoptelovZBBL23 AU - Koptelov, Maksim AU - Zimmermann, Albrecht AU - Boizumault, Patrice AU - Bureau, Ronan AU - Lamotte, Jean Luc TI - Explanations for Itemset Mining by Constraint Programming: A Case Study Using ChEMBL Data. BT - Advances in Intelligent Data Analysis XXI - 21st International Symposium on Intelligent Data Analysis, IDA 2023, Louvain-la-Neuve, Belgium, April 12-14, 2023, Proceedings SP - 208 EP - 221 PY - 2023// DO - 10.1007/978-3-031-30047-9_17 UR - https://doi.org/10.1007/978-3-031-30047-9_17 ER - TY - JOUR ID - DBLP:journals/ai/OualiAGLLLB20 AU - Ouali, Abdelkader AU - Allouche, David AU - Givry, Simon de AU - Loudni, Samir AU - Lebbah, Yahia AU - Loukil, Lakhdar AU - Boizumault, Patrice TI - Variable neighborhood search for graphical model energy minimization. JO - Artif. Intell. VL - 278 PY - 2020// DO - 10.1016/J.ARTINT.2019.103194 UR - https://doi.org/10.1016/j.artint.2019.103194 ER - TY - CPAPER ID - DBLP:conf/ieaaie/UgarteLBCT19 AU - Ugarte, Willy AU - Loudni, Samir AU - Boizumault, Patrice AU - Crémilleux, Bruno AU - Termier, Alexandre TI - Compressing and Querying Skypattern Cubes. BT - Advances and Trends in Artificial Intelligence. From Theory to Practice - 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9-11, 2019, Proceedings SP - 406 EP - 421 PY - 2019// DO - 10.1007/978-3-030-22999-3_36 UR - https://doi.org/10.1007/978-3-030-22999-3_36 ER - TY - JOUR ID - DBLP:journals/ai/UgarteBCLLPRS17 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Crémilleux, Bruno AU - Lepailleur, Alban AU - Loudni, Samir AU - Plantevit, Marc AU - Raïssi, Chedy AU - Soulet, Arnaud TI - Skypattern mining: From pattern condensed representations to dynamic constraint satisfaction problems. JO - Artif. Intell. VL - 244 SP - 48 EP - 69 PY - 2017// DO - 10.1016/J.ARTINT.2015.04.003 UR - https://doi.org/10.1016/j.artint.2015.04.003 ER - TY - JOUR ID - DBLP:journals/constraints/KemmarLLBC17 AU - Kemmar, Amina AU - Lebbah, Yahia AU - Loudni, Samir AU - Boizumault, Patrice AU - Charnois, Thierry TI - Prefix-projection global constraint and top-k approach for sequential pattern mining. JO - Constraints An Int. J. VL - 22 IS - 2 SP - 265 EP - 306 PY - 2017// DO - 10.1007/S10601-016-9252-Z UR - https://doi.org/10.1007/s10601-016-9252-z ER - TY - CPAPER ID - DBLP:conf/pakdd/OualiZLLCBL17 AU - Ouali, Abdelkader AU - Zimmermann, Albrecht AU - Loudni, Samir AU - Lebbah, Yahia AU - Crémilleux, Bruno AU - Boizumault, Patrice AU - Loukil, Lakhdar TI - Integer Linear Programming for Pattern Set Mining; with an Application to Tiling. BT - Advances in Knowledge Discovery and Data Mining - 21st Pacific-Asia Conference, PAKDD 2017, Jeju, South Korea, May 23-26, 2017, Proceedings, Part II SP - 286 EP - 299 PY - 2017// DO - 10.1007/978-3-319-57529-2_23 UR - https://doi.org/10.1007/978-3-319-57529-2_23 ER - TY - JOUR ID - DBLP:journals/ai/AlloucheBBGGLLL16 AU - Allouche, David AU - Bessiere, Christian AU - Boizumault, Patrice AU - Givry, Simon de AU - Gutierrez, Patricia AU - Lee, Jimmy H. M. AU - Leung, Ka Lun AU - Loudni, Samir AU - Métivier, Jean-Philippe AU - Schiex, Thomas AU - Wu, Yi TI - Tractability-preserving transformations of global cost functions. JO - Artif. Intell. VL - 238 SP - 166 EP - 189 PY - 2016// DO - 10.1016/J.ARTINT.2016.06.005 UR - https://doi.org/10.1016/j.artint.2016.06.005 ER - TY - JOUR ID - DBLP:journals/ria/KemmarLLBC16 AU - Kemmar, Amina AU - Lebbah, Yahia AU - Loudni, Samir AU - Boizumault, Patrice AU - Charnois, Thierry TI - Une contrainte globale pour l'extraction de motifs séquentiels. JO - Rev. d'Intelligence Artif. VL - 30 IS - 6 SP - 675 EP - 703 PY - 2016// DO - 10.3166/RIA.30.675-703 UR - https://doi.org/10.3166/ria.30.675-703 ER - TY - CPAPER ID - DBLP:conf/cp/LazaarLLMLBB16 AU - Lazaar, Nadjib AU - Lebbah, Yahia AU - Loudni, Samir AU - Maamar, Mehdi AU - Lemière, Valentin AU - Bessiere, Christian AU - Boizumault, Patrice TI - A Global Constraint for Closed Frequent Pattern Mining. BT - Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings SP - 333 EP - 349 PY - 2016// DO - 10.1007/978-3-319-44953-1_22 UR - https://doi.org/10.1007/978-3-319-44953-1_22 ER - TY - CPAPER ID - DBLP:conf/cpaior/KemmarLLBC16 AU - Kemmar, Amina AU - Loudni, Samir AU - Lebbah, Yahia AU - Boizumault, Patrice AU - Charnois, Thierry TI - A Global Constraint for Mining Sequential Patterns with GAP Constraint. BT - Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Banff, AB, Canada, May 29 - June 1, 2016, Proceedings SP - 198 EP - 215 PY - 2016// DO - 10.1007/978-3-319-33954-2_15 UR - https://doi.org/10.1007/978-3-319-33954-2_15 ER - TY - CPAPER ID - DBLP:conf/ijcai/OualiLLBZL16 AU - Ouali, Abdelkader AU - Loudni, Samir AU - Lebbah, Yahia AU - Boizumault, Patrice AU - Zimmermann, Albrecht AU - Loukil, Lakhdar TI - Efficiently Finding Conceptual Clustering Models with Integer Linear Programming. BT - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016 SP - 647 EP - 654 PY - 2016// UR - http://www.ijcai.org/Abstract/16/098 ER - TY - JOUR ID - DBLP:journals/endm/OualiLLBL15 AU - Ouali, Abdelkader AU - Loudni, Samir AU - Loukil, Lakhdar AU - Boizumault, Patrice AU - Lebbah, Yahia TI - Replicated Parallel Strategies for Decomposition Guided VNS. JO - Electron. Notes Discret. Math. VL - 47 SP - 93 EP - 100 PY - 2015// DO - 10.1016/J.ENDM.2014.11.013 UR - https://doi.org/10.1016/j.endm.2014.11.013 ER - TY - JOUR ID - DBLP:journals/jiis/UgarteBLCL15 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno AU - Lepailleur, Alban TI - Soft constraints for pattern mining. JO - J. Intell. Inf. Syst. VL - 44 IS - 2 SP - 193 EP - 221 PY - 2015// DO - 10.1007/S10844-013-0281-4 UR - https://doi.org/10.1007/s10844-013-0281-4 ER - TY - CPAPER ID - DBLP:conf/cp/KemmarLLBC15 AU - Kemmar, Amina AU - Loudni, Samir AU - Lebbah, Yahia AU - Boizumault, Patrice AU - Charnois, Thierry TI - PREFIX-PROJECTION Global Constraint for Sequential Pattern Mining. BT - Principles and Practice of Constraint Programming - 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015, Proceedings SP - 226 EP - 243 PY - 2015// DO - 10.1007/978-3-319-23219-5_17 UR - https://doi.org/10.1007/978-3-319-23219-5_17 ER - TY - CPAPER ID - DBLP:conf/ictai/UgarteBLC15 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno TI - Modeling and Mining Optimal Patterns Using Dynamic CSP. BT - 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015 SP - 33 EP - 40 PY - 2015// DO - 10.1109/ICTAI.2015.19 UR - https://doi.org/10.1109/ICTAI.2015.19 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2015.19 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/AlloucheBBGGLLL15 AU - Allouche, David AU - Bessiere, Christian AU - Boizumault, Patrice AU - Givry, Simon de AU - Gutierrez, Patricia AU - Lee, Jimmy H. M. AU - Leung, Ka Lun AU - Loudni, Samir AU - Métivier, Jean-Philippe AU - Schiex, Thomas AU - Wu, Yi TI - Tractability and Decompositions of Global Cost Functions. JO - CoRR VL - abs/1502.02414 PY - 2015// UR - http://arxiv.org/abs/1502.02414 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/KemmarLLBC15 AU - Kemmar, Amina AU - Loudni, Samir AU - Lebbah, Yahia AU - Boizumault, Patrice AU - Charnois, Thierry TI - Prefix-Projection Global Constraint for Sequential Pattern Mining. JO - CoRR VL - abs/1504.07877 PY - 2015// UR - http://arxiv.org/abs/1504.07877 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/KemmarLLBC15a AU - Kemmar, Amina AU - Loudni, Samir AU - Lebbah, Yahia AU - Boizumault, Patrice AU - Charnois, Thierry TI - A global Constraint for mining Sequential Patterns with GAP constraint. JO - CoRR VL - abs/1511.08350 PY - 2015// UR - http://arxiv.org/abs/1511.08350 ER - TY - CPAPER ID - DBLP:conf/cpaior/RojasBLCL14 AU - Rojas, Willy Ugarte AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno AU - Lepailleur, Alban TI - Mining (Soft-) Skypatterns Using Dynamic CSP. BT - Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings SP - 71 EP - 87 PY - 2014// DO - 10.1007/978-3-319-07046-9_6 UR - https://doi.org/10.1007/978-3-319-07046-9_6 ER - TY - CPAPER ID - DBLP:conf/ecai/UgarteBLC14 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno TI - Computing Skypattern Cubes. BT - ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014) SP - 903 EP - 908 PY - 2014// DO - 10.3233/978-1-61499-419-0-903 UR - https://doi.org/10.3233/978-1-61499-419-0-903 ER - TY - CPAPER ID - DBLP:conf/hm/OualiLLBL14 AU - Ouali, Abdelkader AU - Loudni, Samir AU - Loukil, Lakhdar AU - Boizumault, Patrice AU - Lebbah, Yahia TI - Cooperative Parallel Decomposition Guided VNS for Solving Weighted CSP. BT - Hybrid Metaheuristics - 9th International Workshop, HM 2014, Hamburg, Germany, June 11-13, 2014. Proceedings SP - 100 EP - 114 PY - 2014// DO - 10.1007/978-3-319-07644-7_8 UR - https://doi.org/10.1007/978-3-319-07644-7_8 ER - TY - CPAPER ID - DBLP:conf/ictai/KemmarULCLBC14 AU - Kemmar, Amina AU - Ugarte, Willy AU - Loudni, Samir AU - Charnois, Thierry AU - Lebbah, Yahia AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - Mining Relevant Sequence Patterns with CP-Based Framework. BT - 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014 SP - 552 EP - 559 PY - 2014// DO - 10.1109/ICTAI.2014.89 UR - https://doi.org/10.1109/ICTAI.2014.89 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.89 ER - TY - CPAPER ID - DBLP:conf/ictai/UgarteBLC14 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno TI - Computing Skypattern Cubes Using Relaxation. BT - 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014 SP - 859 EP - 866 PY - 2014// DO - 10.1109/ICTAI.2014.132 UR - https://doi.org/10.1109/ICTAI.2014.132 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2014.132 ER - TY - JOUR ID - DBLP:journals/rairo/FontaineLB13 AU - Fontaine, Mathieu AU - Loudni, Samir AU - Boizumault, Patrice TI - Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS. JO - RAIRO Oper. Res. VL - 47 IS - 2 SP - 91 EP - 123 PY - 2013// DO - 10.1051/RO/2013030 UR - https://doi.org/10.1051/ro/2013030 ER - TY - CPAPER ID - DBLP:conf/f-egc/UgarteBLCL13a AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno AU - Lepailleur, Alban TI - Mining (Soft-) Skypatterns Using Constraint Programming. BT - Advances in Knowledge Discovery and Management - Volume 5 [Best of EGC 2013, Toulouse, France]. SP - 105 EP - 136 PY - 2013// DO - 10.1007/978-3-319-23751-0_6 UR - https://doi.org/10.1007/978-3-319-23751-0_6 ER - TY - CPAPER ID - DBLP:conf/f-egc/UgarteBLCL13 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno AU - Lepailleur, Alban TI - Découverte des soft-skypatterns avec une approche PPC. BT - Extraction et gestion des connaissances (EGC'2013), Actes, 29 janvier - 01 février 2013, Toulouse, France SP - 217 EP - 228 PY - 2013// UR - https://editions-rnti.fr/?inprocid=1001838 ER - TY - CPAPER ID - DBLP:conf/hm/LoudniFB13 AU - Loudni, Samir AU - Fontaine, Mathieu AU - Boizumault, Patrice TI - Intensification/Diversification in Decomposition Guided VNS. BT - Hybrid Metaheuristics - 8th International Workshop, HM 2013, Ischia, Italy, May 23-25, 2013. Proceedings SP - 22 EP - 36 PY - 2013// DO - 10.1007/978-3-642-38516-2_3 UR - https://doi.org/10.1007/978-3-642-38516-2_3 ER - TY - JOUR ID - DBLP:journals/endm/LoudniFB12 AU - Loudni, Samir AU - Fontaine, Mathieu AU - Boizumault, Patrice TI - Exploiting Separators for Guiding VNS. JO - Electron. Notes Discret. Math. VL - 39 SP - 265 EP - 272 PY - 2012// DO - 10.1016/J.ENDM.2012.10.035 UR - https://doi.org/10.1016/j.endm.2012.10.035 ER - TY - CPAPER ID - DBLP:conf/aaai/AlloucheBBGGLMS12 AU - Allouche, David AU - Bessiere, Christian AU - Boizumault, Patrice AU - Givry, Simon de AU - Gutierrez, Patricia AU - Loudni, Samir AU - Métivier, Jean-Philippe AU - Schiex, Thomas TI - Filtering Decomposable Global Cost Functions. BT - Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, July 22-26, 2012, Toronto, Ontario, Canada. SP - 407 EP - 413 PY - 2012// DO - 10.1609/AAAI.V26I1.8124 UR - https://doi.org/10.1609/aaai.v26i1.8124 ER - TY - CPAPER ID - DBLP:conf/dis/UgarteBLC12 AU - Ugarte, Willy AU - Boizumault, Patrice AU - Loudni, Samir AU - Crémilleux, Bruno TI - Soft Threshold Constraints for Pattern Mining. BT - Discovery Science - 15th International Conference, DS 2012, Lyon, France, October 29-31, 2012. Proceedings SP - 313 EP - 327 PY - 2012// DO - 10.1007/978-3-642-33492-4_25 UR - https://doi.org/10.1007/978-3-642-33492-4_25 ER - TY - CPAPER ID - DBLP:conf/ida/MetivierBCKL12 AU - Métivier, Jean-Philippe AU - Boizumault, Patrice AU - Crémilleux, Bruno AU - Khiari, Mehdi AU - Loudni, Samir TI - Constrained Clustering Using SAT. BT - Advances in Intelligent Data Analysis XI - 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings SP - 207 EP - 218 PY - 2012// DO - 10.1007/978-3-642-34156-4_20 UR - https://doi.org/10.1007/978-3-642-34156-4_20 ER - TY - CPAPER ID - DBLP:conf/sac/MetivierBCKL12 AU - Métivier, Jean-Philippe AU - Boizumault, Patrice AU - Crémilleux, Bruno AU - Khiari, Mehdi AU - Loudni, Samir TI - A constraint language for declarative pattern discovery. BT - Proceedings of the ACM Symposium on Applied Computing, SAC 2012, Riva, Trento, Italy, March 26-30, 2012 SP - 119 EP - 125 PY - 2012// DO - 10.1145/2245276.2245302 UR - https://doi.org/10.1145/2245276.2245302 ER - TY - CPAPER ID - DBLP:conf/icdm/MetivierBCKL11 AU - Métivier, Jean-Philippe AU - Boizumault, Patrice AU - Crémilleux, Bruno AU - Khiari, Mehdi AU - Loudni, Samir TI - A Constraint-Based Language for Declarative Pattern Discovery. BT - Data Mining Workshops (ICDMW), 2011 IEEE 11th International Conference on, Vancouver, BC, Canada, December 11, 2011 SP - 1112 EP - 1119 PY - 2011// DO - 10.1109/ICDMW.2011.11 UR - https://doi.org/10.1109/ICDMW.2011.11 UR - https://doi.ieeecomputersociety.org/10.1109/ICDMW.2011.11 ER - TY - CPAPER ID - DBLP:conf/ictai/FontaineLB11 AU - Fontaine, Mathieu AU - Loudni, Samir AU - Boizumault, Patrice TI - Guiding VNS with Tree Decomposition. BT - IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011 SP - 505 EP - 512 PY - 2011// DO - 10.1109/ICTAI.2011.82 UR - https://doi.org/10.1109/ICTAI.2011.82 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.82 ER - TY - CPAPER ID - DBLP:conf/ismis/KhiariBC11 AU - Khiari, Mehdi AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - A Generic Approach for Modeling and Mining n-ary Patterns. BT - Foundations of Intelligent Systems - 19th International Symposium, ISMIS 2011, Warsaw, Poland, June 28-30, 2011. Proceedings SP - 300 EP - 305 PY - 2011// DO - 10.1007/978-3-642-21916-0_33 UR - https://doi.org/10.1007/978-3-642-21916-0_33 ER - TY - Informal or Other Publication ID - DBLP:journals/corr/abs-1107-3407 AU - Boizumault, Patrice AU - Crémilleux, Bruno AU - Khiari, Mehdi AU - Loudni, Samir AU - Métivier, Jean-Philippe TI - Discovering Knowledge using a Constraint-based Language JO - CoRR VL - abs/1107.3407 PY - 2011// UR - http://arxiv.org/abs/1107.3407 ER - TY - JOUR ID - DBLP:journals/eaai/LoudniBL10 AU - Loudni, Samir AU - Boizumault, Patrice AU - Levasseur, Nicolas TI - Advanced generic neighborhood heuristics for VNS. JO - Eng. Appl. Artif. Intell. VL - 23 IS - 5 SP - 736 EP - 764 PY - 2010// DO - 10.1016/J.ENGAPPAI.2010.01.014 UR - https://doi.org/10.1016/j.engappai.2010.01.014 ER - TY - CPAPER ID - DBLP:conf/cp/KhiariBC10 AU - Khiari, Mehdi AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - Constraint Programming for Mining n-ary Patterns. BT - Principles and Practice of Constraint Programming - CP 2010 - 16th International Conference, CP 2010, St. Andrews, Scotland, UK, September 6-10, 2010. Proceedings SP - 552 EP - 567 PY - 2010// DO - 10.1007/978-3-642-15396-9_44 UR - https://doi.org/10.1007/978-3-642-15396-9_44 ER - TY - CPAPER ID - DBLP:conf/f-egc/KhiariBC10a AU - Khiari, Mehdi AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - Combining Constraint Programming and Constraint-Based Mining for Pattern Discovery. BT - Advances in Knowledge Discovery and Management - Volume 2 [Best of EGC 2010, Hammamet, Tunisie] SP - 85 EP - 103 PY - 2010// DO - 10.1007/978-3-642-25838-1_5 UR - https://doi.org/10.1007/978-3-642-25838-1_5 ER - TY - CPAPER ID - DBLP:conf/f-egc/KhiariBC10 AU - Khiari, Mehdi AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires. BT - Extraction et gestion des connaissances (EGC'2010), Actes, 26 au 29 janvier 2010, Hammamet, Tunisie SP - 199 EP - 210 PY - 2010// UR - https://editions-rnti.fr/?inprocid=1001292 ER - TY - CPAPER ID - DBLP:conf/iccsa/KhiariBC10 AU - Khiari, Mehdi AU - Boizumault, Patrice AU - Crémilleux, Bruno TI - Combining CSP and Constraint-Based Mining for Pattern Discovery. BT - Computational Science and Its Applications - ICCSA 2010, International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II SP - 432 EP - 447 PY - 2010// DO - 10.1007/978-3-642-12165-4_35 UR - https://doi.org/10.1007/978-3-642-12165-4_35 ER - TY - CPAPER ID - DBLP:conf/cp/MetivierBL09 AU - Métivier, Jean-Philippe AU - Boizumault, Patrice AU - Loudni, Samir TI - Solving Nurse Rostering Problems Using Soft Global Constraints. BT - Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings SP - 73 EP - 87 PY - 2009// DO - 10.1007/978-3-642-04244-7_9 UR - https://doi.org/10.1007/978-3-642-04244-7_9 ER - TY - CPAPER ID - DBLP:conf/sac/MetivierBL09 AU - Métivier, Jean-Philippe AU - Boizumault, Patrice AU - Loudni, Samir TI - Softening Gcc and Regular with preferences. BT - Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009 SP - 1392 EP - 1396 PY - 2009// DO - 10.1145/1529282.1529593 UR - https://doi.org/10.1145/1529282.1529593 ER - TY - JOUR ID - DBLP:journals/eor/LoudniB08 AU - Loudni, Samir AU - Boizumault, Patrice TI - Combining VNS with constraint programming for solving anytime optimization problems. JO - Eur. J. Oper. Res. VL - 191 IS - 3 SP - 705 EP - 735 PY - 2008// DO - 10.1016/J.EJOR.2006.12.062 UR - https://doi.org/10.1016/j.ejor.2006.12.062 ER - TY - CPAPER ID - DBLP:conf/hm/LevasseurBL08 AU - Levasseur, Nicolas AU - Boizumault, Patrice AU - Loudni, Samir TI - Boosting VNS with Neighborhood Heuristics for Solving Constraint Optimization Problems. BT - Hybrid Metaheuristics, 5th International Workshop, HM 2008, Málaga, Spain, October 8-9, 2008. Proceedings SP - 131 EP - 145 PY - 2008// DO - 10.1007/978-3-540-88439-2_10 UR - https://doi.org/10.1007/978-3-540-88439-2_10 ER - TY - CPAPER ID - DBLP:conf/ictai/MetivierBL07 AU - Métivier, Jean-Philippe AU - Boizumault, Patrice AU - Loudni, Samir TI - All Different: Softening AllDifferent in Weighted CSPs. BT - 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1 SP - 223 EP - 230 PY - 2007// DO - 10.1109/ICTAI.2007.82 UR - https://doi.org/10.1109/ICTAI.2007.82 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.82 ER - TY - CPAPER ID - DBLP:conf/ictai/LevasseurBL07 AU - Levasseur, Nicolas AU - Boizumault, Patrice AU - Loudni, Samir TI - A Value Ordering Heuristic for Weighted CSP. BT - 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), October 29-31, 2007, Patras, Greece, Volume 1 SP - 259 EP - 262 PY - 2007// DO - 10.1109/ICTAI.2007.45 UR - https://doi.org/10.1109/ICTAI.2007.45 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2007.45 ER - TY - JOUR ID - DBLP:journals/cor/LoudniBD06 AU - Loudni, Samir AU - Boizumault, Patrice AU - David, Philippe TI - On-line resources allocation for ATM networks with rerouting. JO - Comput. Oper. Res. VL - 33 IS - 10 SP - 2891 EP - 2917 PY - 2006// DO - 10.1016/J.COR.2005.01.016 UR - https://doi.org/10.1016/j.cor.2005.01.016 ER - TY - JOUR ID - DBLP:journals/tsi/BoizumaultJO03 AU - Boizumault, Patrice AU - Jussien, Narendra AU - Ouis, Samir TI - Explications k-relevantes pour la programmation par contraintes. JO - Tech. Sci. Informatiques VL - 22 IS - 1 SP - 111 EP - 124 PY - 2003// UR - http://tsi.revuesonline.com/article.jsp?articleId=4650 ER - TY - JOUR ID - DBLP:journals/tsi/BoizumaultDL03 AU - Boizumault, Patrice AU - David, Philippe AU - Loudni, Samir TI - Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. JO - Tech. Sci. Informatiques VL - 22 IS - 1 SP - 169 EP - 182 PY - 2003// UR - http://tsi.revuesonline.com/article.jsp?articleId=4653 ER - TY - CPAPER ID - DBLP:conf/flairs/OuisJB03 AU - Ouis, Samir AU - Jussien, Narendra AU - Boizumault, Patrice TI - k-relevant Explanations for Constraint Programming. BT - Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA SP - 192 EP - 196 PY - 2003// UR - http://www.aaai.org/Library/FLAIRS/2003/flairs03-038.php ER - TY - CPAPER ID - DBLP:conf/ijcai/LoudniB03 AU - Loudni, Samir AU - Boizumault, Patrice TI - Solving Constraint Optimization Problems in Anytime Contexts. BT - IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 SP - 251 EP - 256 PY - 2003// UR - http://ijcai.org/Proceedings/03/Papers/037.pdf ER - TY - CPAPER ID - DBLP:conf/jfplc/OuisJB03 AU - Ouis, Samir AU - Jussien, Narendra AU - Boizumault, Patrice TI - Explications k-relevantes pour la programmation par contraintes. BT - Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 SP - 111 EP - 124 PY - 2003// ER - TY - CPAPER ID - DBLP:conf/jfplc/LoudniBD03 AU - Loudni, Samir AU - Boizumault, Patrice AU - David, Philippe TI - Réservation en ligne avec reroutage de demandes de connexion dans les réseaux ATM. BT - Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), Amiens, France, du 17 au 19 Juin 2003 SP - 169 EP - 182 PY - 2003// ER - TY - CPAPER ID - DBLP:conf/cp/LauvergneDB02 AU - Lauvergne, Muriel AU - David, Philippe AU - Boizumault, Patrice TI - Connections Reservation with Rerouting for ATM Networks: A Hybrid Approach with Constraints. BT - Principles and Practice of Constraint Programming - CP 2002, 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings SP - 649 EP - 663 PY - 2002// DO - 10.1007/3-540-46135-3_43 UR - https://doi.org/10.1007/3-540-46135-3_43 ER - TY - CPAPER ID - DBLP:conf/lpe/OuisJB02 AU - Ouis, Samir AU - Jussien, Narendra AU - Boizumault, Patrice TI - COINS: a constraint-based interactive solving system. BT - Proceedings of the 12th International Workshop on Logic Programming Environments, WLPE 2002, Copenhagen, Denmark, July 31, 2002 SP - 31 EP - 46 PY - 2002// UR - https://arxiv.org/abs/cs/0207046 ER - TY - JOUR ID - DBLP:journals/jflp/RidouxB01 AU - Ridoux, Olivier AU - Boizumault, Patrice TI - Typed Static Analysis: Application to the Groundness Analysis of Typed Prolog. JO - J. Funct. Log. Program. VL - 2001 IS - 4 PY - 2001// ER - TY - JOUR ID - DBLP:journals/rairo/BoizumaultDD01 AU - Boizumault, Patrice AU - David, Philippe AU - Djellab, Housni TI - Resource allocation in a mobile telephone network: A constructive repair algorithm. JO - RAIRO Oper. Res. VL - 35 IS - 2 SP - 189 EP - 209 PY - 2001// DO - 10.1051/RO:2001111 UR - https://doi.org/10.1051/ro:2001111 ER - TY - CPAPER ID - DBLP:conf/ictai/LoudniB01 AU - Loudni, Samir AU - Boizumault, Patrice TI - A New Hybrid Method for Solving Constraint Optimization Problems in Anytime Contexts. BT - 13th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2001, Dallas, Texas, USA, November 7-9, 2001 SP - 325 EP - 332 PY - 2001// DO - 10.1109/ICTAI.2001.974480 UR - https://doi.org/10.1109/ICTAI.2001.974480 UR - https://doi.ieeecomputersociety.org/10.1109/ICTAI.2001.974480 ER - TY - CPAPER ID - DBLP:conf/cp/JussienDB00 AU - Jussien, Narendra AU - Debruyne, Romuald AU - Boizumault, Patrice TI - Maintaining Arc-Consistency within Dynamic Backtracking. BT - Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings SP - 249 EP - 261 PY - 2000// DO - 10.1007/3-540-45349-0_19 UR - https://doi.org/10.1007/3-540-45349-0_19 ER - TY - CPAPER ID - DBLP:conf/flops/RidouxBM99 AU - Ridoux, Olivier AU - Boizumault, Patrice AU - Malésieux, Frédéric TI - Typed Static Analysis: Application to Groundness Analysis of PROLOG and lambda-PROLOG. BT - Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings SP - 267 EP - 283 PY - 1999// DO - 10.1007/10705424_18 UR - https://doi.org/10.1007/10705424_18 ER - TY - CPAPER ID - DBLP:conf/jfplc/MalesieuxRB99 AU - Malésieux, Frédéric AU - Ridoux, Olivier AU - Boizumault, Patrice TI - Analyse statique typée: application à l'analyse de clôtures de lambda-Prolog. BT - JFPLC'99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France SP - 55 EP - 72 PY - 1999// ER - TY - CPAPER ID - DBLP:conf/iclp/MalesiuexRB98 AU - Malésieux, Frédéric AU - Ridoux, Olivier AU - Boizumault, Patrice TI - Abstract Compilation of lambda-Prolog. BT - Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998 SP - 130 EP - 144 PY - 1998// ER - TY - CPAPER ID - DBLP:conf/jfplc/MalesieuxRB98 AU - Malésieux, Frédéric AU - Ridoux, Olivier AU - Boizumault, Patrice TI - Compilation abstraite de LambdaProlog. BT - JFPLC'98, Septièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 27-29 mai 1998, Nantes, France SP - 287 EP - PY - 1998// ER - TY - CPAPER ID - DBLP:conf/jfplc/JussienB97 AU - Jussien, Narendra AU - Boizumault, Patrice TI - Stratégies en meilleur d'abord pour la relaxation de contraintes. BT - JFPLC'97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France SP - 149 EP - PY - 1997// ER - TY - CPAPER ID - DBLP:conf/slp/JussienB97 AU - Jussien, Narendra AU - Boizumault, Patrice TI - Best-First Search for Property Maintenance in Reactive Constraint Systems. BT - Logic Programming, Proceedings of the 1997 International Symposium, Port Jefferson, Long Island, NY, USA, October 13-16, 1997 SP - 339 EP - 353 PY - 1997// ER - TY - JOUR ID - DBLP:journals/jlp/BoizumaultDP96 AU - Boizumault, Patrice AU - Delon, Yan AU - Péridy, Laurent TI - Constraint Logic Programming for Examination Timetabling. JO - J. Log. Program. VL - 26 IS - 2 SP - 217 EP - 233 PY - 1996// DO - 10.1016/0743-1066(95)00100-X UR - https://doi.org/10.1016/0743-1066(95)00100-X ER - TY - CPAPER ID - DBLP:conf/jfplc/JussienB96 AU - Jussien, Narendra AU - Boizumault, Patrice TI - Maintien de déduction pour la relaxation de contraintes. BT - JFPLC'96, Cinquièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 5-7 juin 1996, Clermont-Ferrand, France SP - 239 EP - 254 PY - 1996// ER - TY - CPAPER ID - DBLP:conf/cp/BoizumaultDP95 AU - Boizumault, Patrice AU - Delon, Yan AU - Péridy, Laurent TI - A CLP Approach for Examination Planning. BT - Constraint Processing, Selected Papers SP - 85 EP - 101 PY - 1995// DO - 10.1007/3-540-59479-5_20 UR - https://doi.org/10.1007/3-540-59479-5_20 ER - TY - CPAPER ID - DBLP:conf/cp/JussienB95 AU - Jussien, Narendra AU - Boizumault, Patrice TI - Implementing Constraint Relaxation over Finite Domains Using Assumption-Based Truth Maintenance Systems. BT - Over-Constrained Systems SP - 265 EP - 280 PY - 1995// DO - 10.1007/3-540-61479-6_28 UR - https://doi.org/10.1007/3-540-61479-6_28 ER - TY - CPAPER ID - DBLP:conf/patat/GueretJBP95 AU - Guéret, Christelle AU - Jussien, Narendra AU - Boizumault, Patrice AU - Prins, Christian TI - Building University Timetables Using Constraint Logic Programming. BT - Practice and Theory of Automated Timetabling, First International Conference, Edinburgh, UK, August 29 - September 1, 1995, Selected Papers SP - 130 EP - 145 PY - 1995// DO - 10.1007/3-540-61794-9_56 UR - https://doi.org/10.1007/3-540-61794-9_56 ER - TY - CPAPER ID - DBLP:conf/slp/BoizumaultDP93 AU - Boizumault, Patrice AU - Delon, Yan AU - Péridy, Laurent TI - Solving a real life exams problem using CHIP. BT - Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993 SP - 661 PY - 1993// ER - TY - CPAPER ID - DBLP:conf/esop/Boizumault86 AU - Boizumault, Patrice TI - A Classical Implementation for Prolog-II. BT - ESOP 86, European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986, Proceedings SP - 262 EP - 273 PY - 1986// DO - 10.1007/3-540-16442-1_20 UR - https://doi.org/10.1007/3-540-16442-1_20 ER - TY - CPAPER ID - DBLP:conf/iclp/Boizumault86 AU - Boizumault, Patrice TI - A General Model to Implement DIF and FREEZE. BT - Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986, Proceedings SP - 585 EP - 592 PY - 1986// DO - 10.1007/3-540-16492-8_107 UR - https://doi.org/10.1007/3-540-16492-8_107 ER - TY - CPAPER ID - DBLP:conf/jfplc/Boizumault84 AU - Boizumault, Patrice TI - Un modèle de trace pour PROLOG. BT - SPLT'84, Séminaire Programmation en Logique, 25-27 avril 1984, Plestin-les-Grèves, France PY - 1984// ER - TY - CPAPER ID - DBLP:conf/jfplc/Boizumault83 AU - Boizumault, Patrice TI - Sur la transformation de l'appel terminal en itération dans un interprète PROLOG. BT - SPLT'83, Séminaire Programmation en Logique, 22-23 mars 1983, Perros-Guirec, France PY - 1983// ER -