Published in: Dagstuhl Reports, Volume 12, Issue 7 (2023)
Sébastien Bardin, Somesh Jha, and Vijay Ganesh. Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291). In Dagstuhl Reports, Volume 12, Issue 7, pp. 80-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{bardin_et_al:DagRep.12.7.80, author = {Bardin, S\'{e}bastien and Jha, Somesh and Ganesh, Vijay}, title = {{Machine Learning and Logical Reasoning: The New Frontier (Dagstuhl Seminar 22291)}}, pages = {80--111}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2023}, volume = {12}, number = {7}, editor = {Bardin, S\'{e}bastien and Jha, Somesh and Ganesh, Vijay}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.7.80}, URN = {urn:nbn:de:0030-drops-176131}, doi = {10.4230/DagRep.12.7.80}, annote = {Keywords: Logic for ML, ML-based heuristics for solvers, SAT/SMT/CP solvers and theorem provers, Security, reliability and privacy of ML-based systems} }
Published in: LIPIcs, Volume 213, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
Dongho Lee, Valentin Perrelle, Benoît Valiron, and Zhaowei Xu. Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. In 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 213, pp. 51:1-51:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{lee_et_al:LIPIcs.FSTTCS.2021.51, author = {Lee, Dongho and Perrelle, Valentin and Valiron, Beno\^{i}t and Xu, Zhaowei}, title = {{Concrete Categorical Model of a Quantum Circuit Description Language with Measurement}}, booktitle = {41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)}, pages = {51:1--51:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-215-0}, ISSN = {1868-8969}, year = {2021}, volume = {213}, editor = {Boja\'{n}czyk, Miko{\l}aj and Chekuri, Chandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2021.51}, URN = {urn:nbn:de:0030-drops-155627}, doi = {10.4230/LIPIcs.FSTTCS.2021.51}, annote = {Keywords: Categorical semantics, Operational semantics, Quantum circuit description language} }
Published in: Dagstuhl Reports, Volume 9, Issue 2 (2019)
Sébastien Bardin, Nikolaj Bjørner, and Cristian Cadar. Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062). In Dagstuhl Reports, Volume 9, Issue 2, pp. 27-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{bardin_et_al:DagRep.9.2.27, author = {Bardin, S\'{e}bastien and Bj{\o}rner, Nikolaj and Cadar, Cristian}, title = {{Bringing CP, SAT and SMT together: Next Challenges in Constraint Solving (Dagstuhl Seminar 19062)}}, pages = {27--47}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {2}, editor = {Bardin, S\'{e}bastien and Bj{\o}rner, Nikolaj and Cadar, Cristian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.2.27}, URN = {urn:nbn:de:0030-drops-108574}, doi = {10.4230/DagRep.9.2.27}, annote = {Keywords: Automated Decision Procedures, Constraint Programming, SAT, SMT} }
Feedback for Dagstuhl Publishing