# Algebraic Decision Diagrams and Their Applications

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

## Facts

| Field | Value |
| --- | --- |
| Author Names | R. Iris Bahar,E.A. Frohm,Charles M. Gaona,Gary D. Hachtel,Enrico Macii,Abelardo Pardo,Fabio Somenzi |
| Citations | 261 |
| DOI | 10.1023/a:1008699807402 |
| Fields | Computer Science |
| Open Access | false |
| OA Status | closed |
| OpenAlex ID | https://openalex.org/W2047650874 |
| Type | article |
| Year | 1997 |

## 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/)
- [Logic, programming, and type systems](https://scholariq.org/topics/logic-programming-and-type-systems/)

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