CNF FORMULA
Experts
- Felip Manyà
- Stefan Szeider
- Chu Min Li
- Oliver Kullmann
- Josep Argelich
- Dominik Scheder
- Ewald Speckenmeyer
- Iddo Tzameret
- Uriel Feige
- Igor Razgon
- Daniël Paulusma
- Xishun Zhao
- Kazuo Iwama
- Jordi Planes
- Stefan Porschen
- Armin Biere
- Vikraman Arvind
- Hans Kleine Büning
- Inês Lynce
- K. Subramani
- Stefan Mengel
- Jordi Levy
- Cristopher Moore
- Carlos Ansótegui
- Andrew M. Sutton
- Tobias Philipp
- Venkatesan Guruswami
- Djamal Habet
- Daoyun Xu
- Piotr J. Wojciechowski
- Petr Kucera
- Suguru Tamaki
- Nadia Creignou
- Adnan Darwiche
- Florent Capelli
- Lakhdar Sais
- Kuan Yang
- Jesús Giráldez-Cru
- Paolo Liberatore
Venues
- CoRR
- SAT
- Theor. Comput. Sci.
- Electron. Colloquium Comput. Complex.
- CP
- Discret. Appl. Math.
- IJCAI
- AAAI
- SODA
- Ann. Math. Artif. Intell.
- J. Autom. Reason.
- Inf. Process. Lett.
- Artif. Intell.
- KR
- LICS
- MFCS
- ISAIM
- CADE
- SIAM J. Comput.
- ISMVL
- Electron. Notes Discret. Math.
- J. Satisf. Boolean Model. Comput.
- Algorithmica
- Random Struct. Algorithms
- SIAM J. Discret. Math.
- IPEC
- STACS
- DATE
- ESA
- IJCAR
- Theory Comput. Syst.
- Computational Complexity Conference
- ISAAC
- ECAI
- ICALP
- Frontiers Comput. Sci.
- Ann. Pure Appl. Log.
- Australian Conference on Artificial Intelligence
- Inf. Comput.
Related Topics
Related Keywords
Popularity