A counterexample to the dominating set conjecture.

Antoine Deza Gabriel Indik

Published in: Optim. Lett. (2007)

Keyphrases

dominating set
facility location problem
connected dominating set
model checking
formal verification
approximation algorithms
decision making
facility location
bayesian networks
high dimensional
computer systems
branch and bound