Please use this identifier to cite or link to this item: http://hdl.handle.net/10995/51367
Title: SAT solvers for the problem of sensor placement
Authors: Gorbenko, Anna
Popov, Vladimir
Issue Date: 2012
Citation: Gorbenko A. SAT solvers for the problem of sensor placement / Anna Gorbenko, Vladimir Popov // Advanced Studies in Theoretical Physics. — 2012. — Vol. 6. — № 25-28. — P. 1235-1238.
Abstract: In this paper we consider an approach to solve the problem of sensor placement. This approach is based on constructing SAT solvers for logical models of the problem.
Keywords: 3SAT
LOGICAL MODELS
SAT SOLVERS
SENSOR PLACEMENT
URI: http://hdl.handle.net/10995/51367
SCOPUS: http://www.scopus.com/inward/record.url?scp=84871635774&partnerID=8YFLogxK
Appears in Collections:Научные публикации, проиндексированные в SCOPUS и WoS

Files in This Item:
There are no files associated with this item.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.