BOOLEAN FORMULA
Experts
- Armin Biere
- Florian Lonsing
- Felip Manyà
- Stefan Szeider
- Martina Seidl
- Bernd Becker
- Karem A. Sakallah
- João Marques-Silva
- Chu Min Li
- Vijay Ganesh
- Enrico Giunchiglia
- Sharad Malik
- Uwe Egly
- Jordi Levy
- Gilles Audemard
- Petr Savický
- Massimo Narizzano
- Mikolás Janota
- Oliver Kullmann
- Tobias Schubert
- Carlos Ansótegui
- Hervé Daudé
- Olaf Beyersdorff
- Nadia Creignou
- Rolf Drechsler
- Armando Tacchella
- Laurent Simon
- Fadi A. Aloul
- Kazuo Iwama
- Peter J. Stuckey
- Jesús Giráldez-Cru
- Venkatesan Guruswami
- Norbert Manthey
- Tobias Philipp
- Guillermo De Ita Luna
- Josep Argelich
- Moshe Y. Vardi
- Nachum Dershowitz
- Matti Järvisalo
Venues
- CoRR
- SAT
- Electron. Colloquium Comput. Complex.
- CP
- Theor. Comput. Sci.
- IJCAI
- AAAI
- ICTAI
- DATE
- Discret. Appl. Math.
- DAC
- IACR Cryptol. ePrint Arch.
- J. Satisf. Boolean Model. Comput.
- SIAM J. Comput.
- FMCAD
- Ann. Math. Artif. Intell.
- ICCAD
- CADE
- J. Autom. Reason.
- Inf. Process. Lett.
- ISMVL
- ASP-DAC
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- MFCS
- FPL
- FOCS
- ECAI
- J. Comput. Syst. Sci.
- J. Artif. Intell. Res.
- STACS
- CCIA
- Inf. Comput.
- Discret. Math.
- Int. J. Artif. Intell. Tools
- KR
- POS@SAT
- COCOON
- VLSI Design
- Computational Complexity Conference
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend