Standard

SAT solvers for the problem of sensor placement. / Gorbenko, Anna; Popov, Vladimir.
в: Advanced Studies in Theoretical Physics, Том 6, № 25-28, 2012, стр. 1235-1238.

Результаты исследований: Вклад в журнал › Статья › Рецензирование

Harvard

Gorbenko, A & Popov, V 2012, 'SAT solvers for the problem of sensor placement', Advanced Studies in Theoretical Physics, Том. 6, № 25-28, стр. 1235-1238.

APA

Gorbenko, A., & Popov, V. (2012). SAT solvers for the problem of sensor placement. Advanced Studies in Theoretical Physics, 6(25-28), 1235-1238.

Vancouver

Gorbenko A, Popov V. SAT solvers for the problem of sensor placement. Advanced Studies in Theoretical Physics. 2012;6(25-28):1235-1238.

Author

Gorbenko, Anna ; Popov, Vladimir. / SAT solvers for the problem of sensor placement. в: Advanced Studies in Theoretical Physics. 2012 ; Том 6, № 25-28. стр. 1235-1238.

BibTeX

@article{1cff690a76aa46b493e2149ad09510ca,
title = "SAT solvers for the problem of sensor placement",
keywords = "3SAT, Logical models, SAT solvers, Sensor placement",
author = "Anna Gorbenko and Vladimir Popov",
year = "2012",
language = "English",
volume = "6",
pages = "1235--1238",
journal = "Advanced Studies in Theoretical Physics",
issn = "1313-1311",
publisher = "Hikari Ltd.",
number = "25-28",

}

RIS

TY - JOUR

T1 - SAT solvers for the problem of sensor placement

AU - Gorbenko, Anna

AU - Popov, Vladimir

PY - 2012

Y1 - 2012

KW - 3SAT

KW - Logical models

KW - SAT solvers

KW - Sensor placement

UR - http://www.scopus.com/inward/record.url?scp=84871635774&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84871635774

VL - 6

SP - 1235

EP - 1238

JO - Advanced Studies in Theoretical Physics

JF - Advanced Studies in Theoretical Physics

SN - 1313-1311

IS - 25-28

ER -

ID: 1067283