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
- Shankara Narayanan Krishna
- Alexandre Niveau
- K. Subramani
- Neil V. Murray
- S. Akshay
- Ewald Speckenmeyer
- Alexis de Colnet
- Stefan Porschen
- Marina Zanella
- Gianfranco Lamperti
- Divya Raghunathan
- Erik Rosenthal
- Julio Solís-Daun
- Simone Bova
- Gerson Zaverucha
- Anil Shukla
- David Huber
- Jan Van den Bussche
Venues
- CoRR
- AAAI
- Theor. Comput. Sci.
- Discret. Appl. Math.
- Inf. Process. Lett.
- IJCAI
- ISMIS
- ECAI
- Artif. Intell.
- IJCAR
- ICAPS
- SAT
- Int. J. Algebra Comput.
- PDK
- CiE
- KR
- SPLC (A)
- ICDT
- IEEE Expert
- IEA/AIE
- Discret. Math. Theor. Comput. Sci.
- IWOCA
- ÖGAI
- TABLEAUX
- Sci. China Ser. F Inf. Sci.
- J. Approx. Theory
- J. Appl. Log.
- CD-MAKE
- FMCAD
- CAV (1)
- ALT
- GANDALF
- SOFSEM
- ICALP (1)
- CSL
- SIGSAM Bull.
- J. Complex.
- Eur. J. Comb.
- SMT
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend