BOOLEAN OPTIMIZATION
Experts
- Rolf Drechsler
- Karem A. Sakallah
- Armin Biere
- Fadi A. Aloul
- Bernd Becker
- Matthew L. Ginsberg
- Jakob Nordström
- Heidi E. Dixon
- Sharad Malik
- Vasco M. Manquinho
- Rob A. Rutenbar
- Igor L. Markov
- Tobias Schubert
- Konrad W. Schwerdtfeger
- João P. Marques Silva
- Andrew J. Parkes
- Robert Wille
- Sunil P. Khatri
- João Marques-Silva
- Jo Devriendt
- Youssef Hamadi
- Carlos Ansótegui
- Andreas G. Veneris
- Stefan Szeider
- Josep Argelich
- António Morgado
- Michael Codish
- Lakhdar Sais
- Eugene M. Luks
- René Thiemann
- Miroslav N. Velev
- Elitza N. Maneva
- Souheib Baarir
- Felip Manyà
- Jie-Hong R. Jiang
- Inês Lynce
- Christos H. Papadimitriou
- Phokion G. Kolaitis
- Peter Schneider-Kamp
Venues
- CoRR
- SAT
- Symmetry
- CP
- ICTAI
- AAAI
- IJCAI
- DAC
- DATE
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- ICCAD
- ASP-DAC
- Constraints An Int. J.
- J. Artif. Intell. Res.
- LPAR
- J. Satisf. Boolean Model. Comput.
- FMCAD
- FPL
- J. Circuits Syst. Comput.
- NFM
- Nat. Comput. Sci.
- J. Comb. Optim.
- J. Autom. Reason.
- Ann. Oper. Res.
- Commun. ACM
- FOCS
- STOC
- ACM Trans. Design Autom. Electr. Syst.
- CPAIOR
- ISVLSI
- TACAS (1)
- VLSI Design
- INFORMS J. Comput.
- DTIS
- CCIA
- FCCM
- Int. J. Bifurc. Chaos
- ECAI
- PLoS Comput. Biol.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend