Thu 18 May 2023 10:30 - 10:55 - Decision Procedures Chair(s): Swarat Chaudhuri

Thu 18 May

Displayed time zone: Central Time (US & Canada) change

10:30 - 12:00
Decision ProceduresNFM 2023
Chair(s): Swarat Chaudhuri University of Texas at Austin
10:30
25m
Talk
A Linear Weight Transfer Rule for Local Search
NFM 2023
Md Solimul Chowdhury Carnegie Mellon University, Cayden Codel Carnegie Mellon University, Marijn Heule Carnegie Mellon University
10:55
25m
Talk
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
NFM 2023
Enrico Lipparini DIBRIS, University of Genova, Italy, Stefan Ratschan The Czech Academy of Sciences
Pre-print
11:20
25m
Talk
Subtropical Satisfiability for SMT Solving
NFM 2023
Jasper Nalbach RWTH Aachen University, Erika Abraham RWTH Aachen University
11:45
15m
Talk
Adiar 1.1 : Zero-suppressed Decision Diagrams in External Memory
NFM 2023
Steffan Sølvsten Aarhus University, Jaco van de Pol Aarhus University