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