BINARY DECISION DIAGRAMS
Experts
- Rolf Drechsler
- Claude Carlet
- Shin-ichi Minato
- Subhamoy Maitra
- Ingo Wegener
- Edmund M. Clarke
- Alessandro Cimatti
- Masahiro Fujita
- Pantelimon Stanica
- Robert Wille
- Bogdan J. Falkowski
- Tsutomu Sasao
- Longjiang Qu
- Radomir S. Stankovic
- Marco Roveri
- Jaco van de Pol
- Chao Li
- Sugata Gangopadhyay
- Lei Hu
- Christoph Scholl
- Thomas W. Cusick
- Sihem Mesnager
- Stjepan Picek
- Beate Bollig
- Moshe Y. Vardi
- Dongdai Lin
- Kenneth L. McMillan
- John N. Hooker
- Wolfgang Günther
- Domagoj Jakobovic
- Meicheng Liu
- Joost-Pieter Katoen
- Mitchell A. Thornton
- Milena Stankovic
- Alberto L. Sangiovanni-Vincentelli
- Willem-Jan van Hoeve
- David Bergman
- Orna Grumberg
- Shaojing Fu
Venues
- CoRR
- IACR Cryptol. ePrint Arch.
- J. Symb. Log.
- CAV
- DAC
- IEEE Trans. Computers
- Electron. Colloquium Comput. Complex.
- Discret. Appl. Math.
- Theor. Comput. Sci.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ISMVL
- IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
- TACAS
- ICCAD
- Formal Methods Syst. Des.
- ASP-DAC
- IEEE Trans. Inf. Theory
- IJCAI
- AAAI
- Electron. Notes Theor. Comput. Sci.
- ICCD
- Cryptogr. Commun.
- Int. J. Softw. Tools Technol. Transf.
- Discret. Math.
- VLSI Design
- FMCAD
- DATE
- ISIT
- Des. Codes Cryptogr.
- Inf. Sci.
- Inf. Comput.
- CPAIOR
- Inf. Process. Lett.
- Reliab. Eng. Syst. Saf.
- ISAIM
- SPIN
- CP
- Adv. Math. Commun.
- Int. J. Comput. Math.
Related Topics
Related Keywords
Popularity