Published in: LIPIcs, Volume 307, 30th International Conference on Principles and Practice of Constraint Programming (CP 2024)
Jihye Jung, Kevin Dalmeijer, and Pascal Van Hentenryck. A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design. In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 307, pp. 16:1-16:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{jung_et_al:LIPIcs.CP.2024.16, author = {Jung, Jihye and Dalmeijer, Kevin and Van Hentenryck, Pascal}, title = {{A New Optimization Model for Multiple-Control Toffoli Quantum Circuit Design}}, booktitle = {30th International Conference on Principles and Practice of Constraint Programming (CP 2024)}, pages = {16:1--16:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-336-2}, ISSN = {1868-8969}, year = {2024}, volume = {307}, editor = {Shaw, Paul}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2024.16}, URN = {urn:nbn:de:0030-drops-207010}, doi = {10.4230/LIPIcs.CP.2024.16}, annote = {Keywords: Constraint Programming, Quantum Circuit Design, Reversible Circuits} }
Published in: Dagstuhl Seminar Proceedings, Volume 6271, Challenges in Symbolic Computation Software (2006)
Marc Moreno Maza, Oleg Golubitsky, Marina V. Kondratieva, and Alexey Ovchinnikov. Bounds and algebraic algorithms in differential algebra: the ordinary case. In Challenges in Symbolic Computation Software. Dagstuhl Seminar Proceedings, Volume 6271, pp. 1-9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{morenomaza_et_al:DagSemProc.06271.4, author = {Moreno Maza, Marc and Golubitsky, Oleg and Kondratieva, Marina V. and Ovchinnikov, Alexey}, title = {{Bounds and algebraic algorithms in differential algebra: the ordinary case}}, booktitle = {Challenges in Symbolic Computation Software}, pages = {1--9}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6271}, editor = {Wolfram Decker and Mike Dewar and Erich Kaltofen and Stephen Watt}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06271.4}, URN = {urn:nbn:de:0030-drops-10219}, doi = {10.4230/DagSemProc.06271.4}, annote = {Keywords: Differential algebra, Rosenfeld Groebner Algorithm} }
Feedback for Dagstuhl Publishing