SAT PROBLEM
Experts
- Felip Manyà
- Stefan Szeider
- Armin Biere
- Chu Min Li
- Holger H. Hoos
- Inês Lynce
- Carlos Ansótegui
- Gregory Z. Gutin
- João Marques-Silva
- Vijay Ganesh
- Karem A. Sakallah
- Jordi Levy
- Djamal Habet
- Toby Walsh
- Moshe Y. Vardi
- Kuldeep S. Meel
- Lakhdar Sais
- Nadia Creignou
- Matti Järvisalo
- Laurent Simon
- Shaowei Cai
- Rolf Drechsler
- Amin Coja-Oghlan
- Libor Barto
- Gilles Audemard
- Bernd Becker
- Cristopher Moore
- Yang Xu
- Sharad Malik
- Josep Argelich
- Jesús Giráldez-Cru
- Oliver Kullmann
- João P. Marques Silva
- Marijn Heule
- Enrico Giunchiglia
- Saïd Jabbour
- Fahiem Bacchus
- Maria Luisa Bonet
- Phokion G. Kolaitis
Venues
- CoRR
- SAT
- CP
- AAAI
- IJCAI
- Theor. Comput. Sci.
- Electron. Colloquium Comput. Complex.
- ICTAI
- Artif. Intell.
- Discret. Appl. Math.
- J. Autom. Reason.
- ECAI
- Inf. Process. Lett.
- Ann. Math. Artif. Intell.
- SODA
- J. Satisf. Boolean Model. Comput.
- DATE
- FOCS
- Random Struct. Algorithms
- SIAM J. Comput.
- J. Artif. Intell. Res.
- DAC
- STOC
- AAAI/IAAI
- IACR Cryptol. ePrint Arch.
- Constraints An Int. J.
- Entropy
- J. Comput. Syst. Sci.
- MFCS
- FMCAD
- POS@SAT
- ICCAD
- LPAR
- LICS
- CADE
- Electron. Notes Discret. Math.
- SIAM J. Discret. Math.
- ACM Trans. Comput. Log.
- ISMVL
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend