English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

BDDs are representations of a Boolean expression in the form of a directedacyclic graph. BDDs are widely used in several fields, particularly in modelchecking and hardware verification. There are several implementations for BDDmanipulation, where each package differs depending on the application. Thispaper presents HermesBDD: a novel multi-core and multi-platform binary decisiondiagram package focused on high performance and usability. HermesBDD supports astatic and dynamic memory management mechanism, the possibility to exploitlock-free hash tables, and a simple parallel implementation of the If-Then-Elseprocedure based on a higher-level wrapper for threads and futures. HermesBDD iscompletely written in C++ with no need to rely on external libraries and isdeveloped according to software engineering principles for reliability and easymaintenance over time. We provide experimental results on the n-Queens problem,the de-facto SAT solver benchmark for BDDs, demonstrating a significant speedupof 18.73x over our non-parallel baselines, and a remarkable performance boostw.r.t. other state-of-the-art BDDs packages.

HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package