1 code implementation • 2 Jun 2020 • Gilles Audemard, Loïc Paulevé, Laurent Simon
However, since every cycle of competitions has its own set of rules and an adhoc way of publishing source code and binaries, compiling or even running any solver may be harder than what it seems.
no code implementations • 26 Mar 2019 • Ilia Shumailov, Laurent Simon, Jeff Yan, Ross Anderson
We found the device's microphone(s) can recover this wave and "hear" the finger's touch, and the wave's distortions are characteristic of the tap's location on the screen.
no code implementations • 10 Jun 2016 • Carlos Ansótegui, Maria Luisa Bonet, Jesús Giráldez-Cru, Jordi Levy, Laurent Simon
The research community on complex networks has developed techniques of analysis and algorithms to study real-world graphs that can be used by the SAT community.