SAT INSTANCES
Experts
- Stefan Szeider
- Felip Manyà
- Carlos Ansótegui
- Vijay Ganesh
- Jordi Levy
- Chu Min Li
- Gregory Z. Gutin
- Armin Biere
- Holger H. Hoos
- Laurent Simon
- Karem A. Sakallah
- Inês Lynce
- Maria Luisa Bonet
- Josep Argelich
- Jesús Giráldez-Cru
- Djamal Habet
- Gilles Audemard
- Moshe Y. Vardi
- Serge Gaspers
- Yang Xu
- Toby Walsh
- Sharad Malik
- Norbert Manthey
- Carsten Sinz
- João Marques-Silva
- Sebastian Ordyniak
- Marijn Heule
- Magnus Wahlström
- Shaowei Cai
- Jie-Hong R. Jiang
- Lakhdar Sais
- Rolf Drechsler
- Ilias S. Kotsireas
- Bart Selman
- Ramón Béjar
- Jason Crampton
- Bernd Becker
- Ilkka Niemelä
- Enrico Giunchiglia
Venues
- CoRR
- SAT
- CP
- AAAI
- IJCAI
- ICTAI
- J. Autom. Reason.
- Discret. Appl. Math.
- Electron. Colloquium Comput. Complex.
- J. Satisf. Boolean Model. Comput.
- DATE
- Ann. Math. Artif. Intell.
- Theor. Comput. Sci.
- SODA
- DAC
- POS@SAT
- IACR Cryptol. ePrint Arch.
- Artif. Intell.
- ECAI
- Inf. Process. Lett.
- J. Artif. Intell. Res.
- FMCAD
- FOCS
- Constraints An Int. J.
- CCIA
- J. Comput. Syst. Sci.
- FPL
- ICCAD
- MFCS
- SAT (Selected Papers
- Random Struct. Algorithms
- ISMVL
- Entropy
- ASP-DAC
- STOC
- IEEE Congress on Evolutionary Computation
- CPAIOR
- AAAI/IAAI
- CAV
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend