Login / Signup
On Random Orderings of Variables for Parity OBDDs
Petr Savický
Published in:
Electron. Colloquium Comput. Complex. (1998)
Keyphrases
</>
variable selection
boolean functions
relevant variables
model checking
error correction
neural network
information systems
search algorithm
random variables
database
real time
case study
randomly generated
causal models