KNOWLEDGE COMPILATION
Experts
- Pierre Marquis
- Kuldeep S. Meel
- Adnan Darwiche
- Guy Van den Broeck
- Stefan Mengel
- Florent Capelli
- Lars Hvam
- Shin-ichi Minato
- Alexis de Colnet
- Stefan Szeider
- Neil V. Murray
- Bart Selman
- Jean-Marie Lagniez
- Moshe Y. Vardi
- Paolo Liberatore
- Dan Suciu
- Tsutomu Sasao
- Rolf Drechsler
- Shinobu Nagayama
- Katrín Kristjánsdóttir
- Hélène Fargier
- György Turán
- Robert H. Sloan
- Angelika Kimmig
- João Marques-Silva
- Paul Beame
- Christoph Meinel
- Armin Biere
- Endre Boros
- Kazuhisa Makino
- Jaco van de Pol
- Nicolas Peltier
- Sara Shafiee
- Vikraman Arvind
- Luc De Raedt
- Ashish Sabharwal
- Jean-Charles Régin
- Dong Yang
- Iddo Tzameret
Venues
- CoRR
- AAAI
- SAT
- IJCAI
- Theor. Comput. Sci.
- Electron. Colloquium Comput. Complex.
- ECAI
- CP
- Artif. Intell.
- Comput. Ind.
- KR
- Discret. Appl. Math.
- CPAIOR
- IEEE Trans. Computers
- ISMVL
- ISAIM
- ACM Trans. Comput. Log.
- TABLEAUX
- DAC
- AI*IA
- MFCS
- Ann. Math. Artif. Intell.
- J. Autom. Reason.
- ICAPS
- Inf. Process. Lett.
- ICCD
- LICS
- DATE
- STACS
- J. Intell. Manuf.
- IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
- Notre Dame J. Formal Log.
- ISMIS
- FMCAD
- Inf. Comput.
- Artif. Intell. Eng. Des. Anal. Manuf.
- ICCAD
- Ann. Pure Appl. Log.
- Stud Logica
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend