Lower bounds for linearly transformed OBDDs and FBDDs
Journal of Computer and System Sciences
Almost k-wise independence and hard Boolean functions
Theoretical Computer Science - Latin American theoretical informatics
Knowledge compilation meets database theory: compiling queries to decision diagrams
Proceedings of the 14th International Conference on Database Theory
Hi-index | 0.89 |