• Home
  • Search
  • A Novel Minimization Method for Sensor Deployment Via Heuristic 2-Sat Solution
  • https://doi.org/10.33317/ssurj.37Copy DOI Icon

A Novel Minimization Method for Sensor Deployment Via Heuristic 2-Sat Solution

  • Abstract
  • PDF
  • Literature Map
  • Similar Papers
Abstract

The tasks of guard placement or sensor deployment in an art gallery, a museum or in the corridors of public and security buildings pose the same problem, which requires placing the guards or sensors so as to cover a specified set of nodes with a minimum number of sensors or guards, thereby reducing the overall cost of the system as well assist power consumption. Generally, minimization can be done using optimization techniques such as linear programming, but in case of sensor deployment or guard placement there is a need either to place or not to place the sensor or guard, and hence only Boolean or binary values are used. Therefore, in order to optimize such a problem, we use the special case of linear integer programming known as Boolean integer linear programming (0-1 ILP). Other algorithms like Pseudo-Boolean SAT Solvers can also be used for the minimization purpose. In this paper, we introduce these minimization algorithms for the sensor deployment problem. We also contribute a greed-based heuristic, which utilizes the fact that the pertinent propositional formulas have variables of purely un-complemented literals. This heuristic has much less computational cost compared to those of 0-1 ILP and the Pseudo-Boolean SAT Solvers.

Loading PDF

Similar Papers
  • Conference Article
  • Citations2

An Optimal Sensor Deployment Technique for Spectrum Monitoring Applications

  • Jun 01, 2021
  • Yifeng Zhou
  • PDF
  • Research Article
  • Citations4

Joint Deployment of Sensors and Chargers in Wireless Rechargeable Sensor Networks

  • Jun 25, 2024
  • Energies
  • Jie Lian +1
  • Research Article
  • Citations6

Teaching the applications of optimisation in game theory's zero sum and non-zero sum games

  • Jan 01, 2010
  • International Journal of Data Analysis Techniques and Strategies
  • William P Fox
  • Research Article
  • Citations4

SimplifEx: Simplifying and Explaining Linear Programs

  • Oct 11, 2024
  • Cognitive Systems Research
  • Claire Ott +1
  • Research Article
  • Citations3

APPLICATION OF LINEAR PROGRAMMING FOR PROFIT MAXIMIZATION: A CASE STUDY OF A COOKIES FACTORY IN BANGLADESH

  • Jan 01, 2022
  • Matrix Science Mathematic
  • Nazrul Islam +2
  • Research Article
  • Citations2

SELECTION AN OPTIMAL NUMBER OF VARIABLES IN REGRESSION MODELS USING ADJUSTED COEFFICIENT OF DETERMINATION AS A MIXED INTEGER LINEAR PROGRAMMING PROBLEM

  • Jun 30, 2020
  • Applied Mathematics and Control Sciences
  • Mikhail Bazilevskii
  • Research Article

Essays on bounding stochastic programming problems

  • Jan 01, 1991
  • Open Collections
  • N C P Edirisinghe
  • Book Chapter

A Generalized Linear Programming Based Approach to Optimal Divisible Load Scheduling

  • Jan 01, 2006
  • D Ghose +1
  • Research Article
  • Citations43

Performance evaluation of sensor deployment using optimization techniques and scheduling approach for K-coverage in WSNs

  • Sep 01, 2016
  • Wireless Networks
  • Muralitharan Krishnan +2
  • Research Article

Enumeration and updates for conjunctive linear algebra queries through expressibility

  • Jan 01, 2026
  • Logical Methods in Computer Science
  • Thomas Muñoz +2
  • Conference Article
  • Citations1

An Agent-based Grid Monitoring System Featuring Dynamic and On-demand Sensor Deployment and Management

  • Nov 01, 2005
  • Yinan Li +1
  • Research Article
  • Citations33

Classic Optimization Techniques Applied to Stormwater and Nonpoint Source Pollution Management at the Watershed Scale

  • Aug 15, 2013
  • Journal of Water Resources Planning and Management
  • James F Limbrunner +3
  • Research Article

Optimization of Tertiary Irrigation Network Using A Linear Program at D.I. Panggak Darat in Lingga District

  • May 01, 2024
  • IOP Conference Series: Earth and Environmental Science
  • R Zefri +3
  • Research Article
  • Citations15

Neural Network Optimisation of Remotely Sensed Maize Leaf Nitrogen with a Genetic Algorithm and Linear Programming using Five Performance Parameters

  • Sep 18, 2006
  • Biosystems Engineering
  • Ramesh Gautam +2
  • Research Article
  • Citations13

An Energy-Balanced and Timely Self-Relocation Algorithm for Grid-Based Mobile WSNs

  • Aug 01, 2015
  • IEEE Sensors Journal
  • Chien-Fu Cheng +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.