Maxime Senot

Publication Activity (10 Years)

Years Active: 2010-2018
Publications (10 Years): 1

Top Topics

Modulo Theories

Search Procedures

Boolean Satisfiability

Top Venues

J. Comput. Syst. Sci.

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Florent Becker, Mathieu Chapelle, Jérôme Durand-Lose, Vincent Levorato, Maxime Senot
Abstract geometrical computation 8: Small machines, accumulations & rationality. J. Comput. Syst. Sci. 97 (2018)
Florent Becker, Mathieu Chapelle, Jérôme Durand-Lose, Vincent Levorato, Maxime Senot
Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality. CoRR (2013)
Denys Duchier, Jérôme Durand-Lose, Maxime Senot
Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. TAMC (2012)
Denys Duchier, Jérôme Durand-Lose, Maxime Senot
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants CoRR (2011)
Denys Duchier, Jérôme Durand-Lose, Maxime Senot
Massively Parallel Automata in Euclidean Space-Time. SASO Workshops (2010)
Denys Duchier, Jérôme Durand-Lose, Maxime Senot
Fractal Parallelism: Solving SAT in Bounded Space and Time. ISAAC (1) (2010)
Vincent Levorato, Maxime Senot
Discrete Signal Machines via Pretopology. NCMA (2010)