Florian Lonsing, Martina Seidl, editors, Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016. Volume 1719 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
Conference: sat2016
@proceedings{sat-2016qbf,
title = {Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016},
year = {2016},
url = {http://nbn-resolving.de/urn:nbn:de:0074-1719-2},
researchr = {https://researchr.org/publication/sat-2016qbf},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), Bordeaux, France, July 4, 2016},
conference = {sat},
editor = {Florian Lonsing and Martina Seidl},
volume = {1719},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}