Treewidth-Aware Quantifier Elimination and Expansion for QCSP

Fichte, Johannes Klaus; Hecher, Markus; Kieler, Maximilian F. I.

doi:10.1007/978-3-030-58475-7_15

by Johannes Klaus Fichte, Markus Hecher, Maximilian F. I. Kieler

Reference:

Treewidth-Aware Quantifier Elimination and Expansion for QCSPJohannes Klaus Fichte, Markus Hecher, Maximilian F. I. KielerPrinciples and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings (Helmut Simonis, ed.), pages 248–266, 2020, Springer Verlag.

Bibtex Entry:

@string{springer="Springer Verlag"}
@inproceedings{FichteHK20,
keywords = "reveal",
author = {Johannes Klaus Fichte and Markus Hecher and Maximilian F. I. Kieler},
editor = {Helmut Simonis},
title = {Treewidth-Aware Quantifier Elimination and Expansion for {QCSP}},
booktitle = {Principles and Practice of Constraint Programming - 26th International Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12333},
pages  = {248--266},
publisher = {Springer},
year = {2020},
xxxurl  = {https://doi.org/10.1007/978-3-030-58475-7\_15 [doi.org]},
doi  = {10.1007/978-3-030-58475-7\_15},
}