QUANTIFIED BOOLEAN FORMULAS
Experts
- Olaf Beyersdorff
- Martina Seidl
- Florian Lonsing
- Uwe Egly
- Armando Tacchella
- Leroy Chew
- Joshua Blinkhorn
- Stefan Woltran
- Meena Mahajan
- Enrico Giunchiglia
- Mikolás Janota
- Allen Van Gelder
- Hans Kleine Büning
- Armin Biere
- Massimo Narizzano
- Luca Pulina
- Bernd Becker
- Hans Tompits
- Christoph Scholl
- João Marques-Silva
- Xishun Zhao
- Mikolas Janota
- Silvio Ranise
- Sharad Malik
- Cesare Tinelli
- Renate A. Schmidt
- Paolo Marin
- Nikolaj Bjørner
- Marco Benedetti
- Tomás Peitl
- Fahiem Bacchus
- Ralf Wimmer
- Igor Stéphan
- Friedrich Slivovsky
- Francesco Ricca
- Manuel Kauers
- Moshe Y. Vardi
- Torsten Schaub
- Thomas Eiter
Venues
- CoRR
- SAT
- Electron. Colloquium Comput. Complex.
- CP
- J. Comput. Phys.
- AAAI
- J. Autom. Reason.
- CADE
- Comput. Phys. Commun.
- Theor. Comput. Sci.
- IJCAR
- IPEC
- LPAR
- Ann. Math. Artif. Intell.
- Electron. Notes Theor. Comput. Sci.
- IJCAI
- J. Satisf. Boolean Model. Comput.
- STACS
- ECAI
- SIAM J. Sci. Comput.
- DATE
- CSL
- FMCAD
- SAT (Selected Papers
- Inf. Comput.
- Log. Methods Comput. Sci.
- AI Commun.
- J. Log. Comput.
- AI*IA
- RCRA@AI*IA
- ICTAI
- QBF@SAT
- KR
- HPCS
- CAV (2)
- Constraints An Int. J.
- CAV
- ITP
- Fundam. Informaticae
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend