research
an archive of posts in this category
| Jul 30, 2025 | Paper Accepted in Jelia |
|---|---|
| May 30, 2025 | Paper Accepted in SoCS and CP |
| Feb 10, 2025 | Paper Accepted in TACAS |
| Jul 31, 2024 | Paper Accepted in JAIR |
| Jul 01, 2024 | Paper Accepted in JAIR |
| Jun 30, 2024 | Paper Accepted at CP 2024 |
| Jun 03, 2024 | Paper Accepted in JAIR |
| Apr 09, 2024 | Paper Accepted at IJCAR 2024 |
| Oct 30, 2023 | University of Freiburg |
| Oct 05, 2023 | Workshop “SAT Encodings and Beyond” |
| May 10, 2023 | Extended Reunion: Satisfiability |
| Oct 05, 2022 | Workshop “Theory and Practice of SAT and Combinatorial Solving” |
| Oct 05, 2022 | Vrije Universiteit Brussel |
| Jun 05, 2019 | University of Toronto |
| Dec 23, 2018 | University of Melbourne |