DAVIS PUTNAM
Experts
- Yang Xu
- Phokion G. Kolaitis
- Inês Lynce
- Pierre Marquis
- João Marques-Silva
- Jun Liu
- Nadia Creignou
- Chu Min Li
- Ralf Rothenberger
- Tobias Friedrich
- João P. Marques Silva
- Yuefei Sui
- Moshe Y. Vardi
- Felip Manyà
- Takayuki Suyama
- Stefan Szeider
- K. Subramani
- Makoto Yokoo
- Armin Biere
- Xingxing He
- Uwe Egly
- Toby Walsh
- Oliver Kullmann
- José T. de Sousa
- Florian Lonsing
- Demetrios D. Demopoulos
- Delbert D. Bailey
- Da Ruan
- Jan Arne Telle
- Mohammad Ardeshir
- Anton Belov
- Stefan Porschen
- Shaowei Cai
- Andrew M. Sutton
- Sigve Hortemo Sæther
- Daoyun Xu
- Holger H. Hoos
- Bart Selman
- Fahiem Bacchus
Venues
- CoRR
- SAT
- CP
- Theor. Comput. Sci.
- Discret. Appl. Math.
- IJCAI
- AAAI
- ECAI
- Notre Dame J. Formal Log.
- Log. J. IGPL
- Inf. Process. Lett.
- Ann. Math. Artif. Intell.
- Math. Log. Q.
- Electron. Colloquium Comput. Complex.
- Stud Logica
- J. Autom. Reason.
- ICTAI
- AAAI/IAAI
- J. Symb. Log.
- SODA
- Frontiers Comput. Sci.
- Random Struct. Algorithms
- J. Log. Comput.
- KR
- Arch. Math. Log.
- STACS
- Int. J. Approx. Reason.
- Ann. Pure Appl. Log.
- TABLEAUX
- CADE
- Electron. Notes Theor. Comput. Sci.
- 计算机科学
- Logica Universalis
- FPL
- FUZZ-IEEE
- Electron. Notes Discret. Math.
- IJCAI (1)
- IEEE Congress on Evolutionary Computation
- J. Satisf. Boolean Model. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend