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