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