HORN FORMULAS
Experts
- Stefan Mengel
- Pierre Marquis
- György Turán
- Bart Selman
- Henry A. Kautz
- Despina Stasi
- Robert H. Sloan
- Adnan Darwiche
- Hélène Fargier
- Hans Kleine Büning
- Johann A. Makowsky
- Alexandre Niveau
- Shankara Narayanan Krishna
- K. Subramani
- Neil V. Murray
- S. Akshay
- Jatin Arora
- Justyna Petke
- Alexis de Colnet
- Stefan Porschen
- Marina Zanella
- Gianfranco Lamperti
- Divya Raghunathan
- Erik Rosenthal
- Ewald Speckenmeyer
- Lucas Bordeaux
- Supratik Chakraborty
- Igor Razgon
- Shetal Shah
- Eiji Takimoto
- Florent Capelli
- Piotr J. Wojciechowski
- Akira Maruoka
- John V. Franco
- Richard M. Keller
- Youssef Hamadi
- Thomas Eiter
- Fred S. Annexstein
- Dan Olteanu
Venues
- CoRR
- AAAI
- Theor. Comput. Sci.
- Discret. Appl. Math.
- Inf. Process. Lett.
- IJCAI
- IJCAR
- ISMIS
- ECAI
- Artif. Intell.
- SAT
- ICAPS
- Artif. Intell. Eng. Des. Anal. Manuf.
- SIGSAM Bull.
- CSL
- SOFSEM
- ICALP (1)
- ALT
- GANDALF
- CAV (1)
- ICTAI
- VL/HCC
- FAW
- Probl. Inf. Transm.
- SMT
- Eur. J. Comb.
- J. Complex.
- Discret. Math. Theor. Comput. Sci.
- IEEE Expert
- IEA/AIE
- KR
- ICDT
- CiE
- Int. J. Algebra Comput.
- J. Approx. Theory
- IWOCA
- ÖGAI
- TABLEAUX
- Sci. China Ser. F Inf. Sci.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend