DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Thomas G. Dietterich
- Atilim Gunes Baydin
- Liangda Fang
- Henry A. Kautz
- Gianfranco Lamperti
- Stephen A. Edwards
- Anton Dries
- Bart Selman
- Nalini Vasudevan
- Dan Olteanu
- Tuan Anh Le
- Frank D. Wood
- Alexis de Colnet
- Francesco M. Donini
- Marina Zanella
- Dan Suciu
- Florent Capelli
- Luc De Raedt
- Youssef Hamadi
- Lucas Bordeaux
- Dayou Liu
- Sheila A. McIlraith
- Larisa Han
- Erik Rosenthal
- Kewen Wang
- J. Christopher Beck
- Ximing Wen
- Peter T. Breuer
- Hiroki Sayama
- Nicola Bertoglio
- Lijie Chen
- Robert Fink
- Detlef Sieling
- Anthony Gasperin
- Eufemia Tinelli
Venues
- CoRR
- AAAI
- IJCAI
- KR
- ECAI
- ICAPS
- SAT
- Artif. Intell.
- Electron. Colloquium Comput. Complex.
- AAAI/IAAI
- ISMIS
- Theory Comput. Syst.
- TABLEAUX
- AAAI Workshop: Beyond NP
- J. ACM
- ICDT
- Proc. VLDB Endow.
- Proc. ACM Program. Lang.
- IEEE Expert
- CP
- AI*IA
- Theor. Comput. Sci.
- Australasian Conference on Artificial Intelligence
- PLDI
- Int. J. Approx. Reason.
- RSKT
- J. Networks
- ISPAN
- IEEE Trans. Computers
- Artif. Intell. Eng. Des. Anal. Manuf.
- Advances in Data Base Theory
- PAAR@FLoC
- AMBN
- JELIA
- IPDPS Workshops
- IACR Cryptol. ePrint Arch.
- NIPS
- ISSRE Workshops
- STACS
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend