BOOLEAN OPTIMIZATION
Experts
- Rolf Drechsler
- Karem A. Sakallah
- Armin Biere
- Fadi A. Aloul
- Matthew L. Ginsberg
- Jakob Nordström
- Vasco M. Manquinho
- Sharad Malik
- Heidi E. Dixon
- Bernd Becker
- Tobias Schubert
- Konrad W. Schwerdtfeger
- Andrew J. Parkes
- João P. Marques Silva
- Igor L. Markov
- Rob A. Rutenbar
- Robert Wille
- João Marques-Silva
- Carlos Ansótegui
- Youssef Hamadi
- Sunil P. Khatri
- Stefan Szeider
- Andreas G. Veneris
- Jo Devriendt
- Sean Safarpour
- António Morgado
- Miroslav N. Velev
- Josep Argelich
- Dusan Knop
- Matti Järvisalo
- René Thiemann
- Jie-Hong R. Jiang
- Saïd Jabbour
- Kuldeep S. Meel
- Christos H. Papadimitriou
- Lakhdar Sais
- Eugene M. Luks
- Wolfgang Blochinger
- Elitza N. Maneva
Venues
- CoRR
- SAT
- Symmetry
- CP
- ICTAI
- DAC
- AAAI
- IJCAI
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- DATE
- ICCAD
- ASP-DAC
- LPAR
- FMCAD
- Constraints An Int. J.
- J. Satisf. Boolean Model. Comput.
- J. Artif. Intell. Res.
- NFM
- FPL
- J. Circuits Syst. Comput.
- CPAIOR
- Ann. Oper. Res.
- J. Autom. Reason.
- Commun. ACM
- FOCS
- J. Comb. Optim.
- STOC
- Nat. Comput. Sci.
- ACM Trans. Design Autom. Electr. Syst.
- ISVLSI
- VLSI Design
- TACAS (1)
- IACR Cryptol. ePrint Arch.
- PODC
- SODA
- HLDVT
- Ann. Math. Artif. Intell.
- BCB
- Theor. Comput. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend