@misc{indiciaed55112af8b51,
  title = {Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants},
  author = {Denys Duchier and Jérôme Durand-Lose and Maxime Senot},
  year = {2011},
  url = {https://arxiv.org/abs/1105.3454},
  note = {Source identifier: 1105.3454}
}