BOOLEAN VARIABLES
Experts
- Oliver Kullmann
- Armin Biere
- Alex Samorodnitsky
- Florian Lonsing
- Alberto Griggio
- Johan Håstad
- Michal Parnas
- Philipp Rümmer
- Venkatesan Guruswami
- Per Austrin
- Alexander Pilz
- Dana Ron
- Stefano Leucci
- Edith Hemaspaandra
- Natasha Sharygina
- Marios Mavronicolas
- Domenico Cantone
- Selçuk Kavut
- Khaled M. Elbassioni
- Klaus W. Wagner
- Ana Teresa C. Martins
- Samuel R. Buss
- Zhilei Han
- Jörg Brauer
- Taolue Chen
- Anders Franzén
- Alessandro Cimatti
- Dzmitry Sledneu
- Eric Rémila
- Laura Kovács
- Andrzej Lingas
- Leonardo Mendonça de Moura
- Matteo Almanza
- Pavel G. Emelyanov
- Gerd Wechsung
- Peter Floderus
- Shuanglong Kan
- Alejandro Flores-Lamas
- Stefan Szeider
Venues
- CoRR
- SAT
- Theor. Comput. Sci.
- Electron. Colloquium Comput. Complex.
- Inf. Process. Lett.
- SIAM J. Comput.
- CP
- FOCS
- Eur. J. Oper. Res.
- Appl. Math. Comput.
- IACR Cryptol. ePrint Arch.
- Electron. J. Comb.
- COCOON
- J. Approx. Theory
- LPAR
- CPAIOR
- CCIA
- ECC
- CAV
- CASC
- ASP-DAC
- Discret. Appl. Math.
- AAAI
- CICM
- J. Comb. Optim.
- DAC
- ISSCC
- STOC
- J. Comb. Theory, Ser. A
- FCT
- Symmetry
- ECAI
- J. Comput. Syst. Sci.
- Eur. J. Comb.
- VLSI Design
- Qual. Reliab. Eng. Int.
- Int. J. Approx. Reason.
- ATVA
- NASA Formal Methods
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend