BOOLEAN FORMULAE
Experts
- Alex Samorodnitsky
- Dana Ron
- Michal Parnas
- Leslie G. Valiant
- Michael J. Kearns
- Theofrastos Mantadelis
- Eugenio G. Omodeo
- Domenico Cantone
- Akira Maruoka
- Tuhin Sahai
- Andrea De Domenico
- Cecile T. Balkanski
- Alessandro Pinto
- Michael Francis
- Yasubumi Sakakibara
- Helmut Seidl
- Gerda Janssens
- Khaled M. Elbassioni
- Andreas Reuß
- Imran Rauf
- Etienne Grandjean
- Hui-Ju Katherine Chiang
- Vasumathi Raman
- Arnaud Durand
- Pietro Maugeri
- Andy King
- Kazuhisa Makino
- Susmit Jha
- Valeriy Balabanov
- Jörg Brauer
- Beate Commentz-Walter
- Dmitry Gromov
- Manfred Schmidt-Schauß
- Sheldon R. Smith
- Kuruge Darshana Abeyrathna
- Piet C. W. van Wieringen
- Leonard Pitt
- Jie-Hong Roland Jiang
- Pascal Jappy
Venues
- CoRR
- Theor. Comput. Sci.
- SPLT
- J. Autom. Reason.
- SAT
- CADE
- Acta Informatica
- Discret. Appl. Math.
- Inf. Process. Lett.
- FCT
- Electron. Colloquium Comput. Complex.
- CSL
- STOC
- SAS
- IJCNN
- CLEF
- Adv. Decis. Sci.
- J. Comb. Optim.
- AAAI
- J. Semant.
- SIAM J. Comput.
- NODALIDA
- IEEE Access
- CAV
- LICS
- J. Inf. Law Technol.
- Algorithmica
- Comput. J.
- MICAI
- CIAA
- WODES
- Bull. EATCS
- IEEE Intell. Transp. Syst. Mag.
- COLING
- Synth.
- ECML
- FTfJP@ECOOP
- ANNSIM
- Nat. Comput.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend