CONSTRAINT SOLVER
Experts
- Peter J. Stuckey
- Éric Monfroy
- Pascal Van Hentenryck
- Francesca Rossi
- Xizhong Zheng
- Ugo Montanari
- Ian Miguel
- Barry O'Sullivan
- Broderick Crawford
- Philippe Codognet
- Eugene C. Freuder
- Gilles Pesant
- Stefano Bistarelli
- Vijay A. Saraswat
- Ian P. Gent
- Ricardo Soto
- Louis-Martin Rousseau
- Krzysztof R. Apt
- Manuel Bodirsky
- Michela Milano
- J. Christopher Beck
- Libor Barto
- Agostino Dovier
- Christopher Jefferson
- Petra Hofstedt
- Brahim Hnich
- Arnaud Gotlieb
- Frank D. Valencia
- Mats Carlsson
- Catuscia Palamidessi
- Rolf Drechsler
- Carlos Castro
- Narendra Jussien
- Peter Nightingale
- Bernd Becker
- Pedro Barahona
- Robert Joan-Arinyo
- Maurizio Gabbrielli
- Lars Kotthoff
Venues
- CoRR
- CP
- Constraints An Int. J.
- CPAIOR
- AAAI
- IJCAI
- ICLP
- ICTAI
- Theor. Comput. Sci.
- Artif. Intell.
- SAT
- SAC
- Theory Pract. Log. Program.
- ECAI
- Electron. Notes Theor. Comput. Sci.
- Comput. Oper. Res.
- DATE
- CSCLP
- PPDP
- J. Comput. Phys.
- Ann. Oper. Res.
- INFORMS J. Comput.
- Fundam. Informaticae
- MFCS
- FLOPS
- Comput. Phys. Commun.
- LICS
- PPCP
- PLILP
- Math. Log. Q.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ICALP
- Eur. J. Oper. Res.
- PADL
- J. Symb. Comput.
- SOCS
- SIAM J. Sci. Comput.
- DAC
- ACM Trans. Comput. Log.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend