HORN FORMULAS
Experts
- Henry A. Kautz
- Despina Stasi
- Robert H. Sloan
- Stefan Mengel
- Bart Selman
- Pierre Marquis
- György Turán
- Hélène Fargier
- Hans Kleine Büning
- Adnan Darwiche
- Igor Razgon
- Shetal Shah
- Eiji Takimoto
- Lucas Bordeaux
- Supratik Chakraborty
- Akira Maruoka
- Johann A. Makowsky
- Florent Capelli
- Piotr J. Wojciechowski
- Jatin Arora
- Justyna Petke
- K. Subramani
- Alexandre Niveau
- Neil V. Murray
- S. Akshay
- Shankara Narayanan Krishna
- Ewald Speckenmeyer
- Stefan Porschen
- Marina Zanella
- Alexis de Colnet
- Erik Rosenthal
- Divya Raghunathan
- Gianfranco Lamperti
- Junming Qiu
- Nicolas Bacquey
- Rosemary Chabot
- Francesco M. Donini
- Anil Shukla
- Gerson Zaverucha
Venues
- CoRR
- AAAI
- Theor. Comput. Sci.
- IJCAI
- Inf. Process. Lett.
- Discret. Appl. Math.
- ICAPS
- SAT
- ISMIS
- ECAI
- Artif. Intell.
- IJCAR
- ICTAI
- FAW
- OVERLAY@AI*IA
- Random Struct. Algorithms
- J. Chem. Inf. Model.
- ICALP
- Period. Math. Hung.
- WG
- J. ACM
- J. Log. Comput.
- IEICE Trans. Inf. Syst.
- Mach. Learn.
- Artif. Intell. Eng. Des. Anal. Manuf.
- Computation Theory and Logic
- Graphs Comb.
- FLAIRS Conference
- ICTAI (1)
- TAPSOFT, Vol.1
- IJCAI (1)
- Arch. Math. Log.
- AAAI Workshop: Beyond NP
- Axioms
- J. Symb. Log.
- J. Autom. Reason.
- Acta Informatica
- J. Comput. Syst. Sci.
- Fundam. Informaticae
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend