BOOLEAN VARIABLES
Experts
- Oliver Kullmann
- Armin Biere
- Edith Hemaspaandra
- Venkatesan Guruswami
- Florian Lonsing
- Michal Parnas
- Dana Ron
- Per Austrin
- Alex Samorodnitsky
- Alberto Griggio
- Johan Håstad
- Philipp Rümmer
- Alexander Pilz
- Stefano Leucci
- Rahul Jain
- Hervé Daudé
- Rakibul Hassan
- Arturo Hernández Aguirre
- Samuel R. Buss
- Andrea De Domenico
- Roberto Sebastiani
- Natarajan Shankar
- Clemens Eisenhofer
- Peter Floderus
- Akira Maruoka
- Uwe Egly
- Felip Manyà
- Zhilin Wu
- Bill P. Buckles
- Petr Savický
- Dzmitry Sledneu
- Carlos A. Coello Coello
- Shuanglong Kan
- Burkhard Monien
- Alejandro Flores-Lamas
- Hartmut Klauck
- Andy King
- Denis K. Ponomaryov
- Valeriy Balabanov
Venues
- CoRR
- SAT
- Theor. Comput. Sci.
- Electron. Colloquium Comput. Complex.
- Inf. Process. Lett.
- SIAM J. Comput.
- FOCS
- CP
- Appl. Math. Comput.
- IACR Cryptol. ePrint Arch.
- Eur. J. Oper. Res.
- J. Approx. Theory
- COCOON
- Electron. J. Comb.
- STOC
- Symmetry
- J. Comput. Syst. Sci.
- Qual. Reliab. Eng. Int.
- CPAIOR
- J. Comb. Theory, Ser. A
- ECC
- DAC
- AAAI
- ISSCC
- ECAI
- Discret. Appl. Math.
- FCT
- CASC
- Eur. J. Comb.
- CICM
- J. Comb. Optim.
- LPAR
- CAV
- VLSI Design
- CCIA
- ASP-DAC
- Discret. Math. Theor. Comput. Sci.
- HLDVT
- NASA Formal Methods
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend