CONJUNCTIVE NORMAL FORM
Experts
- Stefan Szeider
- Nadia Creignou
- Kazuo Iwama
- Florian Lonsing
- Iddo Tzameret
- Hervé Daudé
- Armin Biere
- Felip Manyà
- Venkatesan Guruswami
- Martina Seidl
- Kuldeep S. Meel
- Vikraman Arvind
- Paolo Liberatore
- Xishun Zhao
- João Marques-Silva
- Oliver Kullmann
- Kazuhisa Makino
- Carlos Ansótegui
- Mikolás Janota
- Moshe Y. Vardi
- Uwe Egly
- Olaf Beyersdorff
- Gregory Z. Gutin
- Djamal Habet
- Ingo Wegener
- K. Subramani
- Sharad Malik
- Lakhdar Sais
- Allen Van Gelder
- Jesús Giráldez-Cru
- Marijn Heule
- Guillermo De Ita Luna
- Domenico Cantone
- Luca Trevisan
- Petr Savický
- Daniël Paulusma
- Petr Kucera
- Ramamohan Paturi
- Russell Impagliazzo
Venues
- CoRR
- SAT
- Electron. Colloquium Comput. Complex.
- Theor. Comput. Sci.
- IJCAI
- CP
- Ann. Math. Artif. Intell.
- Discret. Appl. Math.
- AAAI
- Inf. Process. Lett.
- J. Autom. Reason.
- J. Symb. Log.
- Artif. Intell.
- CADE
- SIAM J. Discret. Math.
- FOCS
- Eur. J. Comb.
- STOC
- Algorithmica
- J. Log. Comput.
- COCOON
- DATE
- MFCS
- J. Comput. Syst. Sci.
- SIAM J. Comput.
- Computational Complexity Conference
- ACM Trans. Comput. Log.
- KR
- CAV
- Discret. Math.
- ISMVL
- Electron. Notes Discret. Math.
- Random Struct. Algorithms
- Notre Dame J. Formal Log.
- J. Artif. Intell. Res.
- ECAI
- SODA
- CILC
- IACR Cryptol. ePrint Arch.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend