| Incremental SAT-based method with native Boolean cardinality handling for the Hamiltonian cycle problem T Soh, D Le Berre, S Roussel, M Banbara, N Tamura Logics in Artificial Intelligence: 14th European Conference, JELIA 2014 …, 2014 | 34 | 2014 |
| Towards thinking manufacturing and design together: An aeronautical case study T Polacsek, S Roussel, F Bouissiere, C Cuiller, PE Dereux, S Kersuzan Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain …, 2017 | 21 | 2017 |
| Planning personalised museum visits D Le Berre, P Marquis, S Roussel Proceedings of the International Conference on Automated Planning and …, 2013 | 20 | 2013 |
| Autonomous agents and multiagent systems challenges in earth observation satellite constellations G Picard, C Caron, JL Farges, J Guerra, C Pralet, S Roussel International Conference on Autonomous Agents and Multiagent Systems (AAMAS …, 2021 | 18 | 2021 |
| BAS3E: A framework to conceive, design, and validate present and future SST architectures V Morand, C Yanez, JCD Perez, C Fernandez, S Roussel, X Pucel, ... Proceedings of the 1st NASA International Orbital Debris Conference, 10, 2019 | 14 | 2019 |
| Preferential discrete model-based diagnosis for intermittent and permanent faults V Bouziat, X Pucel, S Roussel, L Travé-Massuyès 29th International Workshop on Principles of Diagnosis (DX 2018), 8p., 2018 | 12 | 2018 |
| A modal logic for reasoning on consistency and completeness of regulations C Garion, S Roussel, L Cholvy Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2009 | 10 | 2009 |
| A scheduling tool for bridging the gap between aircraft design and aircraft manufacturing C Pralet, S Roussel, T Polacsek, F Bouissière, C Cuiller, PE Dereux, ... Proceedings of the International Conference on Automated Planning and …, 2018 | 9 | 2018 |
| The aircraft and its manufacturing system: From early requirements to global design A Chan, A Fernandes Pires, T Polacsek, S Roussel International Conference on Advanced Information Systems Engineering, 164-179, 2022 | 8 | 2022 |
| Diagnosis of intermittent faults with conditional preferences C Pralet, X Pucel, S Roussel Proceedings of the 27th International Workshop on Principles of Diagnosis …, 2016 | 8 | 2016 |
| Intermittent fault diagnosis as discrete signal estimation: Trackability analysis X Pucel, S Roussel DX 2017, 2016 | 7 | 2016 |
| A reasoning platform based on the MI Shapley inconsistency value S Konieczny, S Roussel European Conference on Symbolic and Quantitative Approaches to Reasoning and …, 2013 | 7 | 2013 |
| Assembly line preliminary design optimization for an aircraft S Roussel, T Polacsek, A Chan CP 2023 (The 29th International Conference on Principles and Practice of …, 2023 | 6 | 2023 |
| Design for efficient production, a model-based approach T Polacsek, S Roussel, C Pralet, C Cuiller 2019 13th International Conference on Research Challenges in Information …, 2019 | 6 | 2019 |
| Sat4j 2.3. 2: on the fly solver configuration D Le Berre, S Roussel Journal on Satisfiability, Boolean Modeling and Computation 8 (3-4), 197-202, 2012 | 6 | 2012 |
| Parallel scheduling of complex requests for a constellation of earth observing satellites S Squillaci, S Roussel, C Pralet PAIS 2022, 100-113, 2022 | 5 | 2022 |
| Orbit slot allocation in earth observation constellations S Maqrot, S Roussel, G Picard, C Pralet PAIS 2022, 3-16, 2022 | 5 | 2022 |
| Single state trackability of discrete event systems V Bouziat, X Pucel, S Roussel, L Travé-Massuyès Proceedings of the 30th International Workshop on Principles of Diagnosis, 2019 | 5 | 2019 |
| Synthesis of real-time observers from past-time linear temporal logic and timed specification C Lesire, S Roussel, D Doose, C Grand 2019 International Conference on Robotics and Automation (ICRA), 597-603, 2019 | 5 | 2019 |
| Mining to compress table constraints S Jabbour, S Roussel, L Sais, Y Salhi 2015 IEEE 27th International Conference on Tools with Artificial …, 2015 | 5 | 2015 |
Louise Travé-MassuyèsDirectrice de Recherche, LAAS-CNRS, Toulouse, France在 laas.fr 的电子邮件经过验证
Louise Travé-MassuyèsDirectrice de Recherche, LAAS-CNRS, Toulouse, France在 laas.fr 的电子邮件经过验证