Graph-Based Algorithms For Boolean Function Manipulation

·1986·DOI

Engineering and Technology

Communication and Signal Processing

Algorithms and Logical Systems

Algorithms in Logic and Computation

Role in the Field

Neutralin Engineering and Technology

Neutralin Communication and Signal Processing

Neutralin Algorithms and Logical Systems

Neutralin Algorithms in Logic and Computation

Abstract

Citations

5,683

Year

1986

PageRank

5.9 / 10

Relative influence (log-scaled)

Related Papers

10 of 10 papers

Causal Inference Without Balance Checking: Coarsened Exact Matching

·2012·2,372 citations

Trends In Logic

·2000·1,962 citations

Trends In Logic

·1998·1,848 citations

The Knowledge Complexity Of Interactive Proof Systems

·1989·1,933 citations

·1987·2,540 citations

Foundations Of Logic Programming

·1987·2,049 citations

Can Programming Be Liberated From The Von Neumann Style?

·1978·1,713 citations

Logical Reversibility Of Computation

·1973·2,418 citations

A Machine-Oriented Logic Based On The Resolution Principle

·1965·2,415 citations

A Machine Program For Theorem-Proving

·1962·1,859 citations