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