Fedor V. Fomin Fabrizio Grandoni Artem V. Pyatkin Alexey A. Stepanov Combinatorial bounds via measure and conquer: Bounding minimal dominating sets and applications. 2008 5 ACM Transactions on Algorithms 1 http://doi.acm.org/10.1145/1435375.1435384 db/journals/talg/talg5.html#FominGPS08