BOOLEAN FORMULAE
Experts
- Alex Samorodnitsky
- Leslie G. Valiant
- Michal Parnas
- Dana Ron
- Michael J. Kearns
- Eugenio G. Omodeo
- Helmut Seidl
- Kazuhisa Makino
- Alessandro Pinto
- Imran Rauf
- Akira Maruoka
- Andreas Reuß
- Andy King
- Arnaud Durand
- Vasumathi Raman
- Pietro Maugeri
- Valeriy Balabanov
- Khaled M. Elbassioni
- Domenico Cantone
- Yasubumi Sakakibara
- Cecile T. Balkanski
- Michael Francis
- Susmit Jha
- Theofrastos Mantadelis
- Etienne Grandjean
- Hui-Ju Katherine Chiang
- Andrea De Domenico
- Beate Commentz-Walter
- Tuhin Sahai
- Jörg Brauer
- Gerda Janssens
- Carsten Carstensen
- C. (Lieke) E. Peper
- Estela Saquete
- Johann Brault-Baron
- Dieter van Melkebeek
- Sheldon R. Smith
- Oya Ekin
- Oliver Kullmann
Venues
- CoRR
- Theor. Comput. Sci.
- SPLT
- J. Autom. Reason.
- SAT
- CSL
- STOC
- Electron. Colloquium Comput. Complex.
- Inf. Process. Lett.
- Acta Informatica
- CADE
- Discret. Appl. Math.
- FCT
- RANDOM-APPROX
- Synth.
- COCOON
- IEEE Trans. Software Eng.
- DNA Computing
- J. Semant.
- CILC
- J. Inf. Law Technol.
- FOCS
- IEEE Access
- Nat. Comput.
- J. Comb. Optim.
- COLING
- LICS
- SAS
- FTfJP@ECOOP
- LatinCloud
- NFM
- CAV (1)
- COLT
- IJCAR
- SIAM J. Comput.
- Biol. Cybern.
- J. Artif. Intell. Res.
- CogSci
- MICAI
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend