Publications

International journals

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.

International conferences

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 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, vol. 7958, pp. 315-327, 2013.

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.

National conferences

2011 Laurence Cholvy, Stéphanie Roussel, 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),2011.

Technical reports

2017 François Bon, Behailu Habte Endalew, Laurent Bruxelles, Jessie Cauliez, Lorène Chesnaux, Lucie Coudert, Katja Douze, Lamya Khalidi, Joséphine Lesur, Clément Ménard, Romain Mensan, Stéphanie Roussel, Chantal Tribolo, Archéologie préhistorique dans la région des lacs d’Ethiopie (Ziway, Langano, Abijata) : contribution à l’établissement de la séquence Late Stone Age d’Afrique orientale (LSA sequence in Ethiopia). Rapport 2017 et bilan du quadriennal 2014-2017 2017.