dom.num.exact function

Exact domination number (i.e., domination number by the exact algorithm)