QUANTIFIED BOOLEAN FORMULAE
Experts
- Pierre Marquis
- Yang Xu
- Olaf Beyersdorff
- Stefan Woltran
- Florian Lonsing
- Yuefei Sui
- Stefan Mengel
- Bart Selman
- Martina Seidl
- Hélène Fargier
- Joshua Blinkhorn
- Leroy Chew
- Enrico Giunchiglia
- Jérôme Lang
- Armin Biere
- Camillo Fiorentini
- Henry A. Kautz
- Mikolás Janota
- Christoph Scholl
- Bernd Becker
- Jun Liu
- Meinolf Sellmann
- Lakhdar Sais
- Randal E. Bryant
- Da Ruan
- Armando Tacchella
- Florent Capelli
- Odile Papini
- Mauro Ferrari
- Pascal Van Hentenryck
- Nadia Creignou
- Iain McDonald
- Christoph Meinel
- João Marques-Silva
- Massimo Narizzano
- Wen-Tsuen Chen
- Ming-Yi Fang
- Igor Stéphan
- Fahiem Bacchus
Venues
- CoRR
- Symmetry
- CP
- Notre Dame J. Formal Log.
- IJCAI
- Electron. Colloquium Comput. Complex.
- J. Symb. Log.
- SAT
- Math. Log. Q.
- Stud Logica
- AAAI
- ECAI
- J. Log. Comput.
- Log. J. IGPL
- Arch. Math. Log.
- Artif. Intell.
- KR
- Ann. Pure Appl. Log.
- J. Autom. Reason.
- Theor. Comput. Sci.
- TABLEAUX
- Int. J. Bifurc. Chaos
- J. Philos. Log.
- CADE
- Logica Universalis
- ACM Trans. Comput. Log.
- QBF@SAT
- 计算机科学
- FMCAD
- J. ACM
- Int. J. Approx. Reason.
- Electron. Notes Theor. Comput. Sci.
- AI*IA
- AAAI/IAAI
- LFCS
- Ann. Math. Artif. Intell.
- J. Satisf. Boolean Model. Comput.
- IJCAR
- Inf. Process. Lett.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend