Publications

Articles de revues internationales

2014 Daniel Le Berre, Stéphanie Roussel, Sat4j 2.3.2: on the fly solver configuration, System Description in Journal on Satisfiability, Boolean Modeling and Computation (JSAT),vol. 8, pp. 197-202, 2014. [Download]

Articles de conférences internationales

2015 Saïd Jabbour, Stéphanie Roussel, Lakhdar Saïs, Yakoub Salhi, Mining to Compress Table Constraints in 27th International Conference on Tools with Artificial Intelligence (ICTAI’15),IEEE Computer Society, pp. 405-412, 2015.

2014 Takehide Soh, Daniel Le Berre, Stéphanie Roussel, Mutsunori Banbara, Naoyuki Tamura, Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem in 14th European Conference on Logics in Artificial Intelligence (JELIA’14),Springer, pp. 684-693, 2014.

2013 Daniel Le Berre, Pierre Marquis, Stéphanie Roussel, Planning Personalised Museum Visits in 23rd International Conference on Automated Planning and Scheduling (ICAPS’13),AAAI Press, pp. 380-388, 2013.

2013 Sébastien Konieczny, Stéphanie Roussel, A reasoning platform based on the MI Shapley inconsistency value in 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU’13),Springer, pp. 315-327, juillet 2013.

Articles de conférences nationales

2011 Stéphanie Roussel, Laurence Cholvy, Agents coopératifs et politiques d’échanges d’informations in 6ièmes journées francophones sur les Modèles Formels de l’Interaction (MFI’11),juin 2011.