BOOLEAN SATISFIABILITY
Experts
- Felip Manyà
- Stefan Szeider
- João Marques-Silva
- Armin Biere
- Chu Min Li
- Inês Lynce
- Rolf Drechsler
- Karem A. Sakallah
- Vijay Ganesh
- Sharad Malik
- Matti Järvisalo
- Carlos Ansótegui
- Moshe Y. Vardi
- Jordi Levy
- Josep Argelich
- Djamal Habet
- Laurent Simon
- Bernd Becker
- Fadi A. Aloul
- Gilles Audemard
- Marijn Heule
- Holger H. Hoos
- Marijn J. H. Heule
- Tobias Schubert
- António Morgado
- Lakhdar Sais
- Shaowei Cai
- Kuldeep S. Meel
- Jesús Giráldez-Cru
- João P. Marques Silva
- Maria Luisa Bonet
- Norbert Manthey
- Vasco M. Manquinho
- Alexey Ignatiev
- Amin Coja-Oghlan
- Toby Walsh
- Andreas G. Veneris
- Chu-Min Li
- Ruben Martins
Venues
- CoRR
- SAT
- CP
- Symmetry
- AAAI
- IJCAI
- ICTAI
- DATE
- J. Satisf. Boolean Model. Comput.
- DAC
- Artif. Intell.
- Theor. Comput. Sci.
- J. Autom. Reason.
- ECAI
- J. Artif. Intell. Res.
- FMCAD
- ICCAD
- Discret. Appl. Math.
- Electron. Colloquium Comput. Complex.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ASP-DAC
- POS@SAT
- SODA
- IACR Cryptol. ePrint Arch.
- FOCS
- Ann. Math. Artif. Intell.
- Constraints An Int. J.
- Random Struct. Algorithms
- LPAR
- Ann. Oper. Res.
- Inf. Process. Lett.
- Electron. Notes Discret. Math.
- ISMVL
- CCIA
- CAV
- FPL
- Eur. J. Oper. Res.
- SAT (Selected Papers
- Electron. Notes Theor. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend