Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/sat/BalabanovJSMB16
%A Balabanov, Valeriy
%A Jiang, Jie-Hong Roland
%A Scholl, Christoph
%A Mishchenko, Alan
%A Brayton, Robert K.
%B SAT
%D 2016
%E Creignou, Nadia
%E Berre, Daniel Le
%I Springer
%K dblp
%P 453-469
%T 2QBF: Challenges and Solutions.
%U http://dblp.uni-trier.de/db/conf/sat/sat2016.html#BalabanovJSMB16
%V 9710
%@ 978-3-319-40969-6
@inproceedings{conf/sat/BalabanovJSMB16,
added-at = {2022-08-03T00:00:00.000+0200},
author = {Balabanov, Valeriy and Jiang, Jie-Hong Roland and Scholl, Christoph and Mishchenko, Alan and Brayton, Robert K.},
biburl = {https://www.bibsonomy.org/bibtex/22faea928c4f8f8dbb32040382889c7da/dblp},
booktitle = {SAT},
crossref = {conf/sat/2016},
editor = {Creignou, Nadia and Berre, Daniel Le},
ee = {https://doi.org/10.1007/978-3-319-40970-2_28},
interhash = {5f56334d5a3a13c2221e2e0a93553c0f},
intrahash = {2faea928c4f8f8dbb32040382889c7da},
isbn = {978-3-319-40969-6},
keywords = {dblp},
pages = {453-469},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2024-04-10T09:01:45.000+0200},
title = {2QBF: Challenges and Solutions.},
url = {http://dblp.uni-trier.de/db/conf/sat/sat2016.html#BalabanovJSMB16},
volume = 9710,
year = 2016
}