BOOLEAN FORMULAE
Experts
- Dana Ron
- Michal Parnas
- Alex Samorodnitsky
- Michael J. Kearns
- Leslie G. Valiant
- Tuhin Sahai
- Hui-Ju Katherine Chiang
- Andy King
- Vasumathi Raman
- Beate Commentz-Walter
- Gerda Janssens
- Helmut Seidl
- Kazuhisa Makino
- Khaled M. Elbassioni
- Michael Francis
- Akira Maruoka
- Jörg Brauer
- Etienne Grandjean
- Theofrastos Mantadelis
- Arnaud Durand
- Cecile T. Balkanski
- Eugenio G. Omodeo
- Yasubumi Sakakibara
- Andreas Reuß
- Valeriy Balabanov
- Susmit Jha
- Domenico Cantone
- Imran Rauf
- Andrea De Domenico
- Pietro Maugeri
- Alessandro Pinto
- José R. Pérez-Agüera
- Tianlong Yun
- Leonard Pitt
- Jonathan Niles-Weed
- Randal E. Bryant
- João Marques-Silva
- Elizabeth MacDonald
- Michiko Nakamura
Venues
- CoRR
- SPLT
- Theor. Comput. Sci.
- J. Autom. Reason.
- SAT
- Discret. Appl. Math.
- Inf. Process. Lett.
- FCT
- CADE
- Electron. Colloquium Comput. Complex.
- Acta Informatica
- CSL
- STOC
- J. Comput. Phys.
- NFM
- RANDOM-APPROX
- COCOON
- Nat. Comput.
- CogSci
- Machine Learning: From Theory to Applications
- LPNMR
- Int. J. Comput. Linguistics Appl.
- SIAM J. Numer. Anal.
- Synth.
- FTfJP@ECOOP
- IEEE Access
- JELIA
- CAV
- J. Semant.
- Comput. J.
- IEEE Trans. Software Eng.
- WODES
- IEEE Trans. Inf. Theory
- CAV (1)
- ALT
- NASA Formal Methods
- COLING
- CILC
- CIAA
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend