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