Search Results

Journal:Sir Syed University Research Journal of Engineering and Technology, 2018, Volume 7, Issue No 1

Author(s): Waleed Ahmed, Ali Muhammad Ali Rushdi

Keyword(s): Boolean Satisfiability (SAT), Integer linear programming, Pseudo-Boolean SAT-Solvers, sensor deployment