Contributions to the Scientific Community
Contributions to SATLive!
SAT Live! is a community web site to share news about SAT: conferences, workshops, software, benchmarks, positions, etc.
Generalized Lights Out
Project created in tandem with Florent Dewez and Thibault Defourneau.
Lights Out is an electronic game, released by Tiger Electronics in 1995.
The game consists of a 5 by 5 grid of lights. When the game starts, a random number or a stored pattern of these lights is switched on.