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