BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
effici (4)
bound (3)
use (3)
extend (2)
problem (2)

Stem obdd$ (all stems)

14 papers:

KRKR-2014-Razgon #bound #on the
On OBDDs for CNFs of Bounded Treewidth (IR).
LATALATA-2012-BolligP #algorithm #performance
An Efficient Implicit OBDD-Based Algorithm for Maximal Matchings (BB, TP), pp. 143–154.
LATALATA-2009-Bollig #bound #complexity #integer #multi
Larger Lower Bounds on the OBDD Complexity of Integer Multiplication (BB), pp. 212–223.
ICSTSAT-J-2004-HuangD05 #performance #using
Using DPLL for Efficient OBDD Construction (JH, AD), pp. 157–172.
SATSAT-2004-HuangD #performance #using
Using DPLL for Efficient OBDD Construction (JH, AD), pp. 127–136.
ICALPICALP-2000-BolligW #bound #problem
Asymptotically Optimal Bounds for OBDDs and the Solution of Some Basic OBDD Problems (BB, IW), pp. 187–198.
ICALPICALP-1999-KrauseSW #approximate #problem
Approximations by OBDDs and the Variable Ordering Problem (MK, PS, IW), pp. 493–502.
CADECADE-1999-GribomontS #using #validation #verification
System Description: Using OBDD’s for the validation of Skolem verification conditions (EPG, NS), pp. 222–226.
DACDAC-1995-BernMS #performance
Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits (JB, CM, AS), pp. 408–413.
DACDAC-1995-ReddyKP #framework #novel #synthesis #verification
Novel Verification Framework Combining Structural and OBDD Methods in a Synthesis Environment (SMR, WK, DKP), pp. 414–419.
OKFDDs versus OBDDs and OFDDs (BB, RD, MT), pp. 475–486.
CAVCAV-1995-BernMS #memory management
Global rebuilding of OBDDs Avoiding Memory Requirement Maxima (JB, CM, AS), pp. 4–15.
An OBDD-Representation of Statecharts (JH, PK), pp. 142–149.
DATEEDAC-1994-LangevinC #representation
An Extended OBDD Representation for Extended FSMs (ML, EC), pp. 208–213.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.