NASA Formal Methods 2023
Tue 16 - Thu 18 May 2023 Houston, Texas, United States
NASA Formal Methods 2023 (series) / NFM 2023 /

Adiar 1.1 : Zero-suppressed Decision Diagrams in External Memory

Steffan Sølvsten, Jaco van de Pol
NASA Formal Methods 2023 NFM
Thu 18 May 2023 11:45 - 12:00 - Decision Procedures Chair(s): Swarat Chaudhuri

We outline how support for Zero-suppressed Decision Diagrams (ZDDs) has been achieved for the external memory BDD package Adiar. This allows one to use ZDDs to solve various problems despite their size exceed the machine’s limit of internal memory.

Steffan Sølvsten
Steffan Sølvsten
Aarhus University
Denmark
Jaco van de Pol
Jaco van de Pol
Aarhus University
Denmark

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