PARALLEL SEARCH
Experts
- Osman Hasan
- Sofiène Tahar
- Adnan Rashid
- David A. Plaisted
- Harald Ganzinger
- Josef Urban
- Bin Liu
- Maria Paola Bonacina
- Waqar Ahmad
- Jieh Hsiang
- Jacques D. Fleuriot
- Meng-Fan Chang
- Peter B. Andrews
- Takahiro Hanyu
- Uwe Waldmann
- Hsiang-Jen Tsai
- Cezary Kaliszyk
- Stefan Mitsch
- Andrei Voronkov
- Marta Franová
- Hao Che
- Christoph Benzmüller
- Yassmeen Elderhalli
- Leo Bachmair
- Robert Nieuwenhuis
- Peter Baumgartner
- Yang Xu
- Jan Jakubuv
- Christoph Kreitz
- Chad E. Brown
- Shuling Wang
- Chia-Chen Kuo
- Laura Kovács
- Jörg Denzinger
- Shie-Jue Lee
- Gian Luca Pozzato
- Shyh-Shyuan Sheu
- Hongwei Xi
- Ray C. C. Cheung
Venues
- CoRR
- CADE
- TPHOLs
- J. Autom. Reason.
- IJCAI
- IEEE Trans. Computers
- J. Symb. Comput.
- Artif. Intell.
- J. ACM
- Ann. Math. Artif. Intell.
- AAAI
- Theor. Comput. Sci.
- IEEE J. Solid State Circuits
- RTA
- CAV
- ECAI
- Automated Deduction in Geometry
- IEEE/ACM Trans. Netw.
- INFOCOM
- IJCAR
- IEEE Access
- Electron. Notes Theor. Comput. Sci.
- ISCAS
- Inf. Sci.
- LICS
- TABLEAUX
- IEEE Trans. Very Large Scale Integr. Syst.
- J. Parallel Distributed Comput.
- ICALP
- KI
- ICFEM
- CICM
- IEEE Trans. Circuits Syst. I Regul. Pap.
- J. Int. Comput. Games Assoc.
- PxTP
- GLOBECOM
- ITP
- LPAR
- ICNP
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend