Projects per year
Original language | English |
---|---|
Title of host publication | 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel |
Editors | Kuldeep Meel, Ofer Strichman |
Number of pages | 19 |
Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Publication date | 2022 |
Pages | 14:1-14:19 |
ISBN (Electronic) | 978-3-95977-242-6 |
DOIs | |
Publication status | Published - 2022 |
MoE publication type | A4 Article in conference proceedings |
Event | International Conference on Theory and Applications of Satisfiability Testing - Haifa, Israel Duration: 2 Aug 2022 → 5 Aug 2022 Conference number: 25 |
Publication series
Name | LIPIcs |
---|---|
Publisher | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
Volume | 236 |
Fields of Science
- 113 Computer and information sciences
Projects
- 2 Finished
-
Symbolic Techniques for Formally Verified and Explainable AI
Järvisalo, M. (Principal Investigator)
01/01/2020 → 31/12/2022
Project: Research project
-
Declarative Boolean Optimization: Pushing the Envelope
Järvisalo, M. (Principal Investigator)
01/09/2019 → 31/08/2023
Project: Research project