SAT Representations of Wireless Sensor Networks
Biró Csaba
<>
Eszterházy Károly Főiskola
Kusper Gábor
<>
Eszterházy Károly Főiskola
In this article we introduce some logical models for wireless sensor networks (WSN). A WSNs are principally small, low-cost sensors. Their primary aim is the monitoring and controlling of physical environments. The sensors which can communicate with other nearby sensors by broadcasting messages. It is an interesting question whether the WSN has some important feature, like all-all communication is possible, or not. We can answer these questions by modeling the network and generating a SAT problem out of it. Modern SAT solvers can handle very large SAT problems even with thousands of variables, so we can verify even very large WSNs.