A Hybrid Approach to Operating System Discovery using Answer Set Programming.

Franois Gagnon, Babak Esfandiari, Leopoldo E. Bertossi

Browse the full IM paper archive.