Results 51 to 60 of about 943 (76)
Deduction and Abduction with Ordered Binary Decision Diagrams (Foundations of Computer Science) [PDF]
, 2000 Horiyama, Takashi, Ibaraki, Toshihide
core
Some of the next articles are maybe not open access.
Formal Methods in System Design, 1996
We present a data structure for Boolean manipulation-the Mod-2-OBDDs-that considerably extends ESOPs (EXOR-sum-of-products) as well as OBDDs (ordered binary decision diagrams). There are Boolean functions of practical interest which have exponential size optimal ESOPs (even multilevel EXOR-expressions) and/or OBDDs that can be represented by (low ...
Jordan Gergov, Christoph Meinel
openaire +1 more source
We present a data structure for Boolean manipulation-the Mod-2-OBDDs-that considerably extends ESOPs (EXOR-sum-of-products) as well as OBDDs (ordered binary decision diagrams). There are Boolean functions of practical interest which have exponential size optimal ESOPs (even multilevel EXOR-expressions) and/or OBDDs that can be represented by (low ...
Jordan Gergov, Christoph Meinel
openaire +1 more source
OBDDs — Ordered Binary Decision Diagrams
1998In this chapter, we introduce the representation type of ordered binary decision diagrams, called OBDDs for short. Although the underlying model of decision diagrams (or synonymously branching programs) was already studied by Lee and Akers in the 1950s and 1970s, these representations have not been used in serious applications for a long time. In 1986,
Christoph Meinel, Thorsten Theobald
openaire +1 more source
Proceedings of EURO-DAC. European Design Automation Conference, 2002
T. Karoubalis +2 more
openaire +1 more source
T. Karoubalis +2 more
openaire +1 more source
Binary Organic Solar Cells Breaking 19% via Manipulating the Vertical Component Distribution
Advanced Materials, 2022Guanghao Lu, Zheng Tang, Zhi-Xiang Wei
exaly
A Binary Cre Transgenic Approach Dissects Microglia and CNS Border-Associated Macrophages
Immunity, 2021Jung-Seok Kim +2 more
exaly
A Survey on High-Throughput Non-Binary LDPC Decoders: ASIC, FPGA, and GPU Architectures
IEEE Communications Surveys and Tutorials, 2022Oscar Ferraz +2 more
exaly
OBDD-NET: End-to-End Learning of Ordered Binary Decision Diagrams
Proceedings of the 34th ACM International Conference on Information and Knowledge ManagementJunming Qiu +5 more
openaire +1 more source
The Evolution of Compact Binary Star Systems
Living Reviews in Relativity, 2014Konstantin A Postnov
exaly