# Algebraic decision diagrams and their applications

**Type:** Papers  
**Canonical URL:** https://scholariq.org/papers/algebraic-decision-diagrams-and-their-applications-2/

## Facts

| Field | Value |
| --- | --- |
| Author Names | R. Iris Bahar,E.A. Frohm,Charles M. Gaona,Gary D. Hachtel,Enrico Macii,Abelardo Pardo,Fabio Somenzi |
| Citations | 283 |
| DOI | 10.1109/iccad.1993.580054 |
| Fields | Computer Science,Engineering |
| Open Access | false |
| OA Status | closed |
| OpenAlex ID | https://openalex.org/W4246239274 |
| Type | conference-paper |
| Year | 2002 |

## Paper authors

- [Charles M. Gaona](https://scholariq.org/researchers/charles-m-gaona/)

## Paper primary topic

- [Formal Methods in Verification](https://scholariq.org/topics/formal-methods-in-verification/)

## Paper topics

- [Formal Methods in Verification](https://scholariq.org/topics/formal-methods-in-verification/)
- [VLSI and Analog Circuit Testing](https://scholariq.org/topics/vlsi-and-analog-circuit-testing/)
- [Radiation Effects in Electronics](https://scholariq.org/topics/radiation-effects-in-electronics/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.