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