Analysis of Computing Policies Using SAT Solvers (Short Paper).

Marijn J. H. Heule, Rezwana Reaz, Hrishikesh B. Acharya, Mohamed G. Gouda

Browse the full SSS paper archive.