Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/cp/FichteHK20
%A Fichte, Johannes Klaus
%A Hecher, Markus
%A Kieler, Maximilian F. I.
%B CP
%D 2020
%E Simonis, Helmut
%I Springer
%K dblp
%P 248-266
%T Treewidth-Aware Quantifier Elimination and Expansion for QCSP.
%U http://dblp.uni-trier.de/db/conf/cp/cp2020.html#FichteHK20
%V 12333
%@ 978-3-030-58475-7
@inproceedings{conf/cp/FichteHK20,
added-at = {2020-09-08T00:00:00.000+0200},
author = {Fichte, Johannes Klaus and Hecher, Markus and Kieler, Maximilian F. I.},
biburl = {https://www.bibsonomy.org/bibtex/2cd328aceba25515981559b0367264e34/dblp},
booktitle = {CP},
crossref = {conf/cp/2020},
editor = {Simonis, Helmut},
ee = {https://doi.org/10.1007/978-3-030-58475-7_15},
interhash = {7f2693d232049232f944cee85f7e28df},
intrahash = {cd328aceba25515981559b0367264e34},
isbn = {978-3-030-58475-7},
keywords = {dblp},
pages = {248-266},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2020-09-09T13:52:13.000+0200},
title = {Treewidth-Aware Quantifier Elimination and Expansion for QCSP.},
url = {http://dblp.uni-trier.de/db/conf/cp/cp2020.html#FichteHK20},
volume = 12333,
year = 2020
}