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 | 32 | 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 | 15 | 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 Dagstuhl Seminar Proceedings, 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 | 8 | 2018 |
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 |
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 | 7 | 2023 |
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 | 7 | 2022 |
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 |
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 |
Effect of the archwire slot profile on the performance of bonded orthodontic brackets G Lewis, S Kambhampati, S Roussel Bio-Medical Materials and Engineering 7 (3), 205-212, 1997 | 6 | 1997 |
Single state trackability of discrete event systems V Bouziat, X Pucel, S Roussel, L Travé-Massuyès DX'19–30th International Workshop on Principles of Diagnosis, 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 |
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 | 5 | 2012 |
Cooperative interpersonal communication and relevant information S Roussel, L Cholvy ESSLLI Workshop on Logical Methods for Social Concepts, Bordeaux. Citeseer, 2009 | 5 | 2009 |
Consistency and Completeness of Regulations. L Cholvy, S Roussel NORMAS, 51-65, 2008 | 5 | 2008 |