Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem. - Stéphane Jacquet; Sylvain Hallé (IFM, 2020)

Binary, unrelaxable and hidden constraints in blackbox optimization. - Charles Audet; Gilles Caporossi; Stéphane Jacquet (Oper. Res. Lett., 2020)

Automated Repair of Layout Bugs in Web Pages with Linear Programming. - Stéphane Jacquet; Xavier Chamberland-Thibeault; Sylvain Hallé (ICWE, 2021)