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

Denys Duchier, Jrme Durand-Lose, Maxime Senot

Browse the full TAMC paper archive.