EXTENDING EXISTENTIAL QUANTIFICATION IN CONJUNCTIONS OF BDDs
Main Author: | WEAVER, SEAN A. |
---|---|
Language: | English |
Published: |
University of Cincinnati / OhioLINK
2004
|
Online Access: | http://rave.ohiolink.edu/etdc/view?acc_num=ucin1100895652 |
Similar Items
-
FSM compatible set computation with BDDs
by: LIN, JIN-CAI, et al.
Published: (1992) -
Communication Based Logic Partitioning Using Multi-Terminal-Node BDDs
by: Hsu, Wen Shi, et al.
Published: (1993) -
Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms
by: Thomazo, Michaël
Published: (2013) -
Conjunctive query answering under existential rules : decidability, complexity and algorithms
by: Thomazo, Michaël
Published: (2013) -
Computation of prime cubes of a complex boolean function based on BDDs - continuation on probability of time unfolded prime cubes
by: Vestli, Snorre Nilssen
Published: (2013)