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