Sciweavers

251 search results - page 10 / 51

» Lattice-Valued Binary Decision Diagrams

120

ASPDAC
2007
ACM

92views Hardware» more ASPDAC 2007»

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

15 years 10 months ago

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

Download www.aspdac.com

Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler

claim paper

Read More »

118

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 9 months ago

Binary decision diagrams and beyond: enabling technologies for formal verification

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

115

ICCD
1991
IEEE

87views Hardware» more ICCD 1991»

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

15 years 9 months ago

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

Download computing.ece.vt.edu

Pranav Ashar, Abhijit Ghosh, Srinivas Devadas

claim paper

Read More »

132

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

15 years 5 months ago

Solving the Entailment Problem in the Fluent Calculus Using Binary Decision Diagrams

Download www.stoerr.net

Steffen Hölldobler, Hans-Peter Störr

claim paper

Read More »

137

TC
1998

88views Information Technology» more TC 1998»

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

15 years 5 months ago

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

Download www.cs.columbia.edu

Arlindo L. Oliveira, Luca P. Carloni, Tiziano Vill...

claim paper

Read More »

« Prev « First page 10 / 51 Last » Next »