5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.OH2013★ 5 cited
Abstract Geometrical Computation 8: Small Machines, Accumulations and Rationality
Florent Becker, Mathieu Chapelle, Jérôme Durand-Lose +2
In the context of abstract geometrical computation, computing with colored line segments, we study the possibility of having an accumulation with small signal machines, ie, signal…
cs.CC2011
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants
Denys Duchier, Jérôme Durand-Lose, Maxime Senot
Abstract geometrical computation can solve hard combinatorial problems efficiently: we showed previously how Q-SAT can be solved in bounded space and time using instance-specific s…