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
- Jo Devriendt
- Andreas G. Veneris
- Sean Safarpour
- António Morgado
- Miroslav N. Velev
- Josep Argelich
- Dusan Knop
- Matti Järvisalo
- Jie-Hong R. Jiang
- René Thiemann
- Saïd Jabbour
- Kuldeep S. Meel
- Christos H. Papadimitriou
- Eugene M. Luks
- Lakhdar Sais
- Elitza N. Maneva
- Inês Lynce
Venues
- CoRR
- SAT
- Symmetry
- CP
- ICTAI
- DAC
- AAAI
- IJCAI
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- DATE
- ASP-DAC
- ICCAD
- LPAR
- FMCAD
- Constraints An Int. J.
- J. Artif. Intell. Res.
- J. Satisf. Boolean Model. Comput.
- NFM
- FPL
- J. Circuits Syst. Comput.
- Ann. Oper. Res.
- J. Autom. Reason.
- CPAIOR
- J. Comb. Optim.
- Commun. ACM
- FOCS
- ACM Trans. Design Autom. Electr. Syst.
- STOC
- Nat. Comput. Sci.
- VLSI Design
- TACAS (1)
- ISVLSI
- Ann. Math. Artif. Intell.
- Theor. Comput. Sci.
- BCB
- ICIC (1)
- PLoS Comput. Biol.
- IACR Cryptol. ePrint Arch.
- PODC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend