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:
incomplet (2)
specifi (2)
function (2)
size (2)
minim (2)

Stem robdd$ (all stems)

8 papers:

ICSTSAT-2011-IgnatievS #encryption
DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (AI, AS), pp. 76–89.
Widening ROBDDs with Prime Implicants (NK, AK, TS), pp. 105–119.
Closure Operators for ROBDDs (PS, HS), pp. 1–16.
DATEDATE-2002-Dubrova #composition #order
Composition Trees in Finding Best Variable Orderings for ROBDDs (ED), p. 1084.
DATEEDTC-1997-SchollMHM #symmetry
Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.
TACASTACAS-1997-AndersenSM #model checking
Partial Model Checking with ROBDDs (HRA, JS, NM), pp. 35–49.
PPDPPLILP-1996-Bagnara #implementation #using
A Reactive Implementation of Pos Using ROBDDs (RB), pp. 107–121.
DATEEDAC-1994-ChangCM #multi
Minimizing ROBDD Size of Incompletely Specified Multiple Output Functions (SCC, DIC, MMS), pp. 620–624.

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.