SOLVING HARD
Experts
- Holger H. Hoos
- Thomas Stützle
- Laetitia Jourdan
- Marie-Eléonore Kessaci
- João P. Marques Silva
- Benjamin W. Wah
- Bart Selman
- Nadarajen Veerapen
- Inês Lynce
- Gregory Z. Gutin
- Phokion G. Kolaitis
- Yang Xu
- David G. Mitchell
- Vangelis Th. Paschos
- Amos Beimel
- Broderick Crawford
- Chuan Luo
- Jason Crampton
- Enrico Giunchiglia
- Huimin Fu
- Ramón Béjar
- Francesco Ricca
- Carlos Ansótegui
- Carla P. Gomes
- Enav Weinreb
- Neil Thapen
- Shaowei Cai
- Kobbi Nissim
- Miroslaw Truszczynski
- Jun Liu
- Alan M. Frisch
- Vitaly Feldman
- Guanfeng Wu
- Zhe Wu
- Luca Trevisan
- Santosh S. Vempala
- Kenji Kanazawa
- Eric Allender
- Dan Roth
Venues
- CoRR
- AAAI
- CP
- Discret. Appl. Math.
- SAT
- IJCAI
- Theor. Comput. Sci.
- Inf. Process. Lett.
- Int. Trans. Oper. Res.
- Discret. Math.
- Electron. Colloquium Comput. Complex.
- Notre Dame J. Formal Log.
- J. Comput. Syst. Sci.
- Eur. J. Oper. Res.
- ICTAI
- Ann. Math. Artif. Intell.
- SIAM J. Comput.
- ECAI
- AAAI/IAAI
- STOC
- ICALP
- MFCS
- Constraints An Int. J.
- GECCO
- IEEE Congress on Evolutionary Computation
- J. Algorithms
- FCT
- J. Log. Program.
- INFORMS J. Comput.
- ACM Trans. Comput. Log.
- Math. Program.
- CPAIOR
- Comb.
- J. Symb. Log.
- FPL
- Ann. Pure Appl. Log.
- Commun. ACM
- IACR Cryptol. ePrint Arch.
- SYNASC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend