Using Answer Set Programming to Enhance Operating System Discovery.

Franois Gagnon, Babak Esfandiari

Browse the full LPNMR paper archive.