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