An SMT-based accurate algorithm for the K-coverage problem in sensor network

Weiqiang Kong, Ming Li, Long Han, Akira Fukuda

Research output: Contribution to conferencePaperpeer-review

5 Citations (Scopus)

Fingerprint Dive into the research topics of 'An SMT-based accurate algorithm for the K-coverage problem in sensor network'. Together they form a unique fingerprint.

Engineering & Materials Science