Sciweavers

251 search results - page 10 / 51

» Lattice-Valued Binary Decision Diagrams

73

ASPDAC
2007
ACM

92views Hardware» more ASPDAC 2007»

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

15 years 6 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 »

81

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

15 years 5 months ago

Binary decision diagrams and beyond: enabling technologies for formal verification

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

78

ICCD
1991
IEEE

87views Hardware» more ICCD 1991»

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

15 years 5 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 »

96

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

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

15 years 1 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 »

95

TC
1998

88views Information Technology» more TC 1998»

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

15 years 1 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 »