BOOLEAN FORMULAE
Experts
- Alex Samorodnitsky
- Michal Parnas
- Dana Ron
- Leslie G. Valiant
- Michael J. Kearns
- Domenico Cantone
- Theofrastos Mantadelis
- Cecile T. Balkanski
- Alessandro Pinto
- Tuhin Sahai
- Andrea De Domenico
- Akira Maruoka
- Khaled M. Elbassioni
- Helmut Seidl
- Yasubumi Sakakibara
- Michael Francis
- Etienne Grandjean
- Imran Rauf
- Andreas Reuß
- Gerda Janssens
- Arnaud Durand
- Vasumathi Raman
- Hui-Ju Katherine Chiang
- Jörg Brauer
- Valeriy Balabanov
- Andy King
- Kazuhisa Makino
- Susmit Jha
- Pietro Maugeri
- Eugenio G. Omodeo
- Beate Commentz-Walter
- Dustin G. Mixon
- Christoph Weidenbach
- Haim Schweitzer
- Danya Yao
- Julien Dumazert
- Stefano Baratella
- Anne Mucha
- Klaus Kriegel
Venues
- CoRR
- SPLT
- Theor. Comput. Sci.
- SAT
- J. Autom. Reason.
- Discret. Appl. Math.
- Inf. Process. Lett.
- FCT
- STOC
- CSL
- Electron. Colloquium Comput. Complex.
- CADE
- Acta Informatica
- ICMENS
- Algorithmica
- SIAM J. Numer. Anal.
- RANDOM-APPROX
- ISAAC
- Biol. Cybern.
- NASA Formal Methods
- LatinCloud
- SIAM J. Discret. Math.
- Machine Learning: From Theory to Applications
- NGITS
- Int. J. Comput. Linguistics Appl.
- NFM
- IEEE Trans. Inf. Theory
- DNA Computing
- IEEE Trans. Software Eng.
- LPNMR
- J. Artif. Intell. Res.
- CogSci
- CSF
- COCOON
- J. Comput. Phys.
- IJCAR
- CAV (1)
- JELIA
- ANALCO
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend