SAT SOLVERS
Experts
- Stefan Szeider
- Felip Manyà
- Armin Biere
- João Marques-Silva
- Vijay Ganesh
- Rolf Drechsler
- Carlos Ansótegui
- Chu Min Li
- Inês Lynce
- Moshe Y. Vardi
- Bernd Becker
- Jordi Levy
- Karem A. Sakallah
- Laurent Simon
- Maria Luisa Bonet
- Lakhdar Sais
- Toby Walsh
- Matti Järvisalo
- Djamal Habet
- Sharad Malik
- Peter J. Stuckey
- Roberto Sebastiani
- Kuldeep S. Meel
- Sebastian Ordyniak
- João P. Marques Silva
- Enrico Giunchiglia
- Fadi A. Aloul
- Saïd Jabbour
- Pavel Surynek
- Bart Selman
- Tobias Schubert
- Holger H. Hoos
- Gilles Audemard
- Ofer Strichman
- Michael Codish
- Eugene C. Freuder
- Johannes Klaus Fichte
- Oliver Kullmann
- Jesús Giráldez-Cru
Venues
- CoRR
- SAT
- CP
- AAAI
- IJCAI
- ICTAI
- Artif. Intell.
- Theor. Comput. Sci.
- DATE
- J. Satisf. Boolean Model. Comput.
- Electron. Colloquium Comput. Complex.
- IACR Cryptol. ePrint Arch.
- DAC
- J. Autom. Reason.
- ECAI
- Constraints An Int. J.
- Symmetry
- FMCAD
- ICCAD
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- SODA
- Discret. Appl. Math.
- Inf. Process. Lett.
- POS@SAT
- LPAR
- J. Artif. Intell. Res.
- FOCS
- STOC
- ASP-DAC
- CADE
- J. Comput. Phys.
- SIAM J. Sci. Comput.
- J. Comput. Syst. Sci.
- LPNMR
- CPAIOR
- ISCAS
- CAV
- SIAM J. Comput.
- AAAI/IAAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend