BOOLEAN FORMULAE
Experts
- Dana Ron
- Michal Parnas
- Leslie G. Valiant
- Alex Samorodnitsky
- Michael J. Kearns
- Khaled M. Elbassioni
- Akira Maruoka
- Helmut Seidl
- Kazuhisa Makino
- Alessandro Pinto
- Theofrastos Mantadelis
- Jörg Brauer
- Michael Francis
- Cecile T. Balkanski
- Andy King
- Eugenio G. Omodeo
- Vasumathi Raman
- Arnaud Durand
- Andreas Reuß
- Andrea De Domenico
- Hui-Ju Katherine Chiang
- Valeriy Balabanov
- Pietro Maugeri
- Beate Commentz-Walter
- Etienne Grandjean
- Domenico Cantone
- Susmit Jha
- Tuhin Sahai
- Gerda Janssens
- Yasubumi Sakakibara
- Imran Rauf
- Éric Villemonte de la Clergerie
- M. Ryan Bochnak
- Anne Mucha
- Tom Cooke
- Georgiana Puscasu
- Tal Lev-Ami
- Guanghua Ji
- Hugo Zaragoza
Venues
- CoRR
- Theor. Comput. Sci.
- SPLT
- SAT
- J. Autom. Reason.
- FCT
- CSL
- STOC
- CADE
- Electron. Colloquium Comput. Complex.
- Inf. Process. Lett.
- Discret. Appl. Math.
- Acta Informatica
- COLT
- Machine Learning: From Theory to Applications
- Biosyst.
- LICS
- CAV
- COCOON
- Comput. J.
- ISAAC
- DNA Computing
- NODALIDA
- COLING
- MICAI
- WODES
- SAS
- SIAM J. Discret. Math.
- ANALCO
- RANDOM-APPROX
- Adv. Decis. Sci.
- J. Comput. Phys.
- ECML
- ICMENS
- SIAM J. Numer. Anal.
- IEEE Trans. Software Eng.
- CLEF
- FOCS
- Nat. Comput.
Related Topics
Related Keywords
Popularity