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