DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Nalini Vasudevan
- Henry A. Kautz
- Luc De Raedt
- Thomas G. Dietterich
- Dan Olteanu
- Liangda Fang
- Bart Selman
- Marina Zanella
- Tuan Anh Le
- Francesco M. Donini
- Dan Suciu
- Anton Dries
- Frank D. Wood
- Stephen A. Edwards
- Florent Capelli
- Atilim Gunes Baydin
- Gianfranco Lamperti
- Alexis de Colnet
- Eric I. Hsu
- Jesse Davis
- Lucas Bordeaux
- Detlef Sieling
- Gonzalo E. Imaz
- Anton Fuxjaeger
- Abhay Kumar Jha
- Oliver Kullmann
- Michael Fisher
- Zhe Wang
- Angelika Kimmig
- Neil V. Murray
- Giso H. Dal
- Ximing Wen
- Nicola Bertoglio
- Robert Fink
- Peter J. F. Lucas
Venues
- CoRR
- AAAI
- IJCAI
- KR
- ECAI
- ICAPS
- Electron. Colloquium Comput. Complex.
- Artif. Intell.
- SAT
- CP
- PLDI
- Australasian Conference on Artificial Intelligence
- J. ACM
- AI*IA
- AAAI/IAAI
- Proc. VLDB Endow.
- IEEE Expert
- ICDT
- TABLEAUX
- AAAI Workshop: Beyond NP
- Theor. Comput. Sci.
- Theory Comput. Syst.
- Int. J. Approx. Reason.
- Proc. ACM Program. Lang.
- ISMIS
- ISPAN
- CD-MAKE
- AAAI/IAAI, Vol. 1
- MICAI
- J. Comput. Secur.
- CASES
- SETTA
- STACS
- ICAART (2)
- PDK
- AI Commun.
- Softw. Pract. Exp.
- MCU
- SAC
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend