Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants

Denys Duchier, Jérôme Durand-Lose, Maxime Senot. Computing in the Fractal Cloud: Modular Generic Solvers for SAT and Q-SAT Variants. In Manindra Agrawal, S. Barry Cooper, Angsheng Li, editors, Theory and Applications of Models of Computation - 9th Annual Conference, TAMC 2012, Beijing, China, May 16-21, 2012. Proceedings. Volume 7287 of Lecture Notes in Computer Science, pages 435-447, Springer, 2012. [doi]

Abstract

Abstract is missing.