Experimental Results

章节
发表日期：

2026年

查看全文

Caroline Dominik

摘要

The concepts discussed in the previous sections of this thesis have been implemented, to confirm the theoretical results. All computations have been realized in C++ and CUDD [23] was used for BDD operations. The setup has a 3.6 GHz AMD Ryzen 5 CPU and 16 GB RAM.

The concepts discussed in the previous sections of this thesis have been implemented, to confirm the theoretical results. All computations have been realized in C++ and CUDD&#xa0;[23] was used for BDD operations. The setup has a 3.6 GHz AMD Ryzen 5 CPU and 16 GB RAM.

Experimental Results

摘要

The concepts discussed in the previous sections of this thesis have been implemented, to confirm the theoretical results. All computations have been realized in C++ and CUDD [23] was used for BDD operations. The setup has a 3.6 GHz AMD Ryzen 5 CPU and 16 GB RAM.