Toshiaki Miyazaki Boolean formulation for sensor allocation problem and its efficient solver. 49-54 2006 MidSens http://doi.acm.org/10.1145/1176866.1176875 conf/middleware/2006midsens db/conf/middleware/midsens2006.html#Miyazaki06