Sciweavers

251 search results - page 10 / 51

» Lattice-Valued Binary Decision Diagrams

18

ASPDAC
2007
ACM

92views Hardware» more ASPDAC 2007»

Numerical Function Generators Using Edge-Valued Binary Decision Diagrams

13 years 11 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 »

17

ICCAD
1995
IEEE

69views Hardware» more ICCAD 1995»

Binary decision diagrams and beyond: enabling technologies for formal verification

13 years 11 months ago

Binary decision diagrams and beyond: enabling technologies for formal verification

Download www.cs.cmu.edu

Randal E. Bryant

claim paper

Read More »

14

ICCD
1991
IEEE

87views Hardware» more ICCD 1991»

Boolean Satisfiability and Equivalence Checking Using General Binary Decision Diagrams

13 years 11 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 »

22

CL
2000
Springer

82views Automated Reasoning» more CL 2000»

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

13 years 7 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 »

19

TC
1998

88views Information Technology» more TC 1998»

Exact Minimization of Binary Decision Diagrams Using Implicit Techniques

13 years 7 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 »