المؤلفون: Audemard, Gilles, Lagniez, Jean-Marie, Marquis, Pierre, Szczepanski, Nicolas

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2209.07740

المؤلفون: Szczepanski, Nicolas, Mousin, Lucien, Veerapen, Nadarajen, Jourdan, Laetitia

المصدر: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2020 IEEE 32nd International Conference on. :1241-1248 Nov, 2020

Relation: 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI)

المؤلفون: Tari, Sara, Szczepanski, Nicolas, Mousin, Lucien, Jacques, Julie, Kessaci, Marie-Eleonore, Jourdan, Laetitia

المصدر: 2020 IEEE Congress on Evolutionary Computation (CEC) Evolutionary Computation (CEC), 2020 IEEE Congress on. :1-8 Jul, 2020

Relation: 2020 IEEE Congress on Evolutionary Computation (CEC)

المؤلفون: Lecoutre, Christophe, Szczepanski, Nicolas

مصطلحات موضوعية: Computer Science - Artificial Intelligence

URL الوصول: http://arxiv.org/abs/2009.00326

المؤلفون: Glorian, Gael^Aff10, Lagniez, Jean-Marie^Aff10, Montmirail, Valentin^Aff11, Szczepanski, Nicolas^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Schiex, Thomas, editor^Aff8, de Givry, Simon, editor^Aff9

المصدر: Principles and Practice of Constraint Programming : 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings. 11802:213-231

المؤلفون: Audemard, Gilles^Aff15, Lagniez, Jean-Marie^Aff15, Szczepanski, Nicolas^Aff15, Tabary, Sébastien^Aff15

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Gaspers, Serge, editor^Aff13, Walsh, Toby, editor^Aff14

المصدر: Theory and Applications of Satisfiability Testing – SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings. 10491:215-232

المؤلفون: Audemard, Gilles^Aff14, Lagniez, Jean-Marie^Aff14, Szczepanski, Nicolas^Aff14, Tabary, Sébastien^Aff14

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Rueher, Michel, editor^Aff13

المصدر: Principles and Practice of Constraint Programming : 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. 9892:30-48

المؤلفون: Glorian, Gael, Lagniez, Jean-Marie, Montmirail, Valentin, Szczepanski, Nicolas

المساهمون: Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)

المصدر: The 25th International Conference on Principles and Practice of Constraint Programming
The 25th International Conference on Principles and Practice of Constraint Programming, Simon de Givry and Thomas Schiex, In press

مصطلحات موضوعية: ComputingMilieux_MISCELLANEOUS, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6c9fb14365451b6eb18a71f1336efb5a
https://hal.univ-cotedazur.fr/hal-02271397

المؤلفون: Szczepanski, Nicolas

المساهمون: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Université d'Artois, Gilles Audemard, Jean-Marie Lagniez (co-encadrant), Sébastien Tabary (co-encadrant)

المصدر: Calcul parallèle, distribué et partagé [cs.DC]. Université d'Artois, 2017. Français. ⟨NNT : ⟩

مصطلحات موضوعية: parallèle, distributed computing, parallel, SAT solvers, calcul distribué, SAT, hybrid programming models, solveurs SAT, modèles de programmation hybride, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______4254::bf13a24587ffc7721278e56f65830adf
https://hal.science/tel-02979325/file/SATenParalleleSzczepanskiNicolas.pdf

المؤلفون: szczepanski, nicolas

المساهمون: Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique de Lens (CRIL), Université d'Artois (UA)-Centre National de la Recherche Scientifique (CNRS), Université d'Artois, Gilles Audemard, Jean-Marie Lagniez (co-encadrant), Sébastien Tabary (co-encadrant)

المصدر: Calcul parallèle, distribué et partagé [cs.DC]. Université d'Artois, 2017. Français

مصطلحات موضوعية: parallèle, distributed computing, parallel, SAT solvers, calcul distribué, SAT, hybrid programming models, solveurs SAT, modèles de programmation hybride, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______2592::bf13a24587ffc7721278e56f65830adf
https://hal.archives-ouvertes.fr/tel-02979325/file/SATenParalleleSzczepanskiNicolas.pdf