BOOLEAN FORMULAE
Experts
- Leslie G. Valiant
- Michal Parnas
- Alex Samorodnitsky
- Dana Ron
- Michael J. Kearns
- Jörg Brauer
- Tuhin Sahai
- Arnaud Durand
- Andy King
- Pietro Maugeri
- Kazuhisa Makino
- Akira Maruoka
- Imran Rauf
- Michael Francis
- Cecile T. Balkanski
- Alessandro Pinto
- Theofrastos Mantadelis
- Andreas Reuß
- Vasumathi Raman
- Etienne Grandjean
- Yasubumi Sakakibara
- Eugenio G. Omodeo
- Khaled M. Elbassioni
- Susmit Jha
- Helmut Seidl
- Andrea De Domenico
- Domenico Cantone
- Gerda Janssens
- Beate Commentz-Walter
- Hui-Ju Katherine Chiang
- Valeriy Balabanov
- Yehoshua Sagiv
- Cristian Riveros
- Marijn J. H. Heule
- Elena Zucca
- Vladislav Kubon
- Paola Giannini
- Jacob D. Biamonte
- Boris Glavic
Venues
- CoRR
- Theor. Comput. Sci.
- SPLT
- J. Autom. Reason.
- SAT
- Acta Informatica
- CADE
- Inf. Process. Lett.
- STOC
- CSL
- FCT
- Discret. Appl. Math.
- Electron. Colloquium Comput. Complex.
- LPNMR
- SIAM J. Comput.
- CSF
- Synth.
- AAAI
- Biosyst.
- Algorithmica
- Nat. Comput.
- NODALIDA
- Int. J. Comput. Linguistics Appl.
- JELIA
- NFM
- NGITS
- ICMENS
- COCOON
- ISAAC
- SIAM J. Discret. Math.
- J. Artif. Intell. Res.
- IEEE Intell. Transp. Syst. Mag.
- Adv. Decis. Sci.
- J. Comput. Phys.
- DNA Computing
- MICAI
- Comput. J.
- J. Comb. Optim.
- SAS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend