Maxime Senot
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2010–2012
Best venue rank
C
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | TAMC | Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. | Denys Duchier, Jrme Durand-Lose, Maxime Senot |
| 2010 | ISAAC | Fractal Parallelism: Solving SAT in Bounded Space and Time. | Denys Duchier, Jrme Durand-Lose, Maxime Senot |