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