Constellation, le dépôt institutionnel de l'Université du Québec à Chicoutimi

2020

Jacquet Stéphane et Hallé Sylvain. (2020). Reformulation of SAT into a polynomial box-constrained optimization problem. Dans : International Conference on Integrated Formal Methods (IFM) , 16-20 November 2020, Lugano, Switzerland.

2021

Jacquet Stéphane, Chamberland-Thibeault Xavier et Hallé Sylvain. (2021). Automated repair of layout bugs in Web pages with linear programming. Dans Marco Brambilla, Richard Chbeir, Flavius Frasincar et Ionana Manolescu (dir.), Web Engineering : 21st International Conference, ICWE 2021, Biarritz, France, May 18–21, 2021, Proceedings. (p. 423-439). Lecture notes in computer science. Cham, Suisse : Springer.