BOOLEAN VARIABLES
Experts
- Oliver Kullmann
- Armin Biere
- Florian Lonsing
- Dana Ron
- Venkatesan Guruswami
- Edith Hemaspaandra
- Michal Parnas
- Stefano Leucci
- Per Austrin
- Johan Håstad
- Alberto Griggio
- Philipp Rümmer
- Alex Samorodnitsky
- Alexander Pilz
- Eugenio G. Omodeo
- Nikolaj Bjørner
- Zhilin Wu
- Felip Manyà
- Denis K. Ponomaryov
- Houman Homayoun
- Anders Franzén
- Sai Manoj Pudukotai Dinakarrao
- Leonardo Mendonça de Moura
- Setareh Rafatirad
- Taolue Chen
- Thiago Alves Rocha
- Petr Savický
- Ana Teresa C. Martins
- Valeriy Balabanov
- Dzmitry Sledneu
- Andrea De Domenico
- Eric Rémila
- Peter Floderus
- Andy King
- Matteo Almanza
- Gaurav Kolhe
- Kazuhisa Makino
- Imran Rauf
- Francicleber Martins Ferreira
Venues
- CoRR
- SAT
- Electron. Colloquium Comput. Complex.
- Inf. Process. Lett.
- Theor. Comput. Sci.
- SIAM J. Comput.
- CP
- FOCS
- Eur. J. Oper. Res.
- COCOON
- IACR Cryptol. ePrint Arch.
- Appl. Math. Comput.
- J. Approx. Theory
- Discret. Appl. Math.
- J. Comput. Syst. Sci.
- ECC
- CAV
- CPAIOR
- ECAI
- Electron. J. Comb.
- ASP-DAC
- Eur. J. Comb.
- VLSI Design
- LPAR
- DAC
- J. Comb. Optim.
- Qual. Reliab. Eng. Int.
- Symmetry
- J. Comb. Theory, Ser. A
- FCT
- STOC
- CICM
- CASC
- CCIA
- ISAIM
- Adv. Appl. Math.
- ICES
- ICDCN
- SAT (Selected Papers
Related Topics
Related Keywords
Popularity