BOOLEAN VARIABLES
Experts
- Armin Biere
- Oliver Kullmann
- Alberto Griggio
- Dana Ron
- Michal Parnas
- Edith Hemaspaandra
- Florian Lonsing
- Venkatesan Guruswami
- Stefano Leucci
- Johan Håstad
- Per Austrin
- Alex Samorodnitsky
- Alexander Pilz
- Philipp Rümmer
- Clemens Eisenhofer
- Shuanglong Kan
- Shengyu Zhang
- Samuel R. Buss
- Akira Maruoka
- Roberto Bruttomesso
- Hartmut Klauck
- Andy King
- Sai Manoj Pudukotai Dinakarrao
- Mia Persson
- Denghang Hu
- Natasha Sharygina
- Zhilin Wu
- Alessandro Panconesi
- Roberto Sebastiani
- Leonardo Alt
- Martina Seidl
- Leonardo Mendonça de Moura
- Rahul Jain
- Valeriy Balabanov
- Matthew Hague
- Herbert Fleischner
- Laura Kovács
- Michael Rawson
- Marios Mavronicolas
Venues
- CoRR
- SAT
- Theor. Comput. Sci.
- Inf. Process. Lett.
- Electron. Colloquium Comput. Complex.
- SIAM J. Comput.
- FOCS
- CP
- Appl. Math. Comput.
- Electron. J. Comb.
- COCOON
- J. Approx. Theory
- Eur. J. Oper. Res.
- IACR Cryptol. ePrint Arch.
- CCIA
- ISSCC
- FCT
- Qual. Reliab. Eng. Int.
- Eur. J. Comb.
- CICM
- J. Comput. Syst. Sci.
- ECAI
- Symmetry
- ASP-DAC
- J. Comb. Optim.
- VLSI Design
- Discret. Appl. Math.
- DAC
- ECC
- CAV
- LPAR
- CPAIOR
- CASC
- AAAI
- J. Comb. Theory, Ser. A
- STOC
- TAG+
- J. Math. Log.
- MFCS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend