Talks
This list contains selected talks not already listed under Publications.
This list contains selected talks not already listed under Publications.
Behind the Scenes of Chronological CDCL
In the sat-rg-restarts reading group in the program "Satisfiability: Theory, Practice, and Beyond" at the Simons Institute Berkeley, Cyberspace, 13 April, 2021
[ slides ]
Four Flavors of Entailment
In the research seminar of the LogiCS doctoral program, Cyberspace, 16 March, 2021
[ slides ]
(Dual) Propositional Model Counting and Back Enumeration without Repetition
FMCAD 2020 Student Forum, Cyberspace, 24 September, 2020. Best Student Contribution.
[ award ]
Addressing Proposition Model Counting and Enumeration with and without Projection
Teaching and Research Unit Programming and Modelling Languages, Ludwig-Maximilians-Universität München, Cyberspace, July 16, 2020
[ slides ]
Behind the Scenes of Chronological CDCL
LTH Faculty of Engineering, Lund University, Cyberspace, 26 June, 2020
[ slides ]
From Propositional Model Counting to SAT Solving and Back
Department of Information Engineering and Computer Science (DISI), University of Trento, Trento, 18 October, 2019
[ slides ]
Dualizing Projected Model Counting
RiSE workshop at the 12th Alpine Verification Meeting (AVM 2018), Wagrain, 26 September, 2018
[ slides ]