DECOMPOSABLE NEGATION NORMAL FORM
Experts
- Adnan Darwiche
- Pierre Marquis
- Guy Van den Broeck
- Stefan Mengel
- Luc De Raedt
- Marina Zanella
- Atilim Gunes Baydin
- Stephen A. Edwards
- Nalini Vasudevan
- Anton Dries
- Thomas G. Dietterich
- Francesco M. Donini
- Florent Capelli
- Frank D. Wood
- Liangda Fang
- Henry A. Kautz
- Tuan Anh Le
- Gianfranco Lamperti
- Dan Suciu
- Dan Olteanu
- Alexis de Colnet
- Bart Selman
- Simona Colucci
- Oliver Kullmann
- J. Christopher Beck
- Anthony Gasperin
- Angelika Kimmig
- Biao Chen
- Ali Jazayeri
- Dayou Liu
- Robert Fink
- Vaishak Belle
- Kewen Wang
- Silvia Giannini
- Christian J. Muise
- Detlef Sieling
- Eufemia Tinelli
- Larisa Han
- Michael Fisher
Venues
- CoRR
- AAAI
- IJCAI
- ECAI
- KR
- ICAPS
- Electron. Colloquium Comput. Complex.
- Artif. Intell.
- Theor. Comput. Sci.
- ISMIS
- Proc. VLDB Endow.
- PLDI
- AI*IA
- TABLEAUX
- Proc. ACM Program. Lang.
- Theory Comput. Syst.
- AAAI/IAAI
- CP
- IEEE Expert
- SAT
- Australasian Conference on Artificial Intelligence
- J. ACM
- Int. J. Approx. Reason.
- AAAI Workshop: Beyond NP
- Artif. Intell. Eng. Des. Anal. Manuf.
- MCU
- ISSAC
- CD-MAKE
- STOC
- Method and tools for compiler construction
- Dagstuhl Reports
- ISDA
- MICAI
- Canadian Conference on AI
- CADE
- STACS
- ICDT
- SETTA
- CCIA
Related Topics
Related Keywords
Popularity