HORN FORMULAS
Experts
- Pierre Marquis
- György Turán
- Stefan Mengel
- Henry A. Kautz
- Bart Selman
- Despina Stasi
- Robert H. Sloan
- Adnan Darwiche
- Hans Kleine Büning
- Hélène Fargier
- Gianfranco Lamperti
- K. Subramani
- Neil V. Murray
- Igor Razgon
- Alexandre Niveau
- Piotr J. Wojciechowski
- Justyna Petke
- Erik Rosenthal
- Ewald Speckenmeyer
- Stefan Porschen
- Marina Zanella
- Florent Capelli
- Supratik Chakraborty
- Shetal Shah
- Alexis de Colnet
- Akira Maruoka
- Lucas Bordeaux
- Shankara Narayanan Krishna
- Eiji Takimoto
- Jatin Arora
- Divya Raghunathan
- S. Akshay
- Johann A. Makowsky
- Lucia Keller
- Guangfu Liu
- Rüdiger Schätz
- Gabriel Istrate
- Henri Prade
- Claudia Obermaier
Venues
- CoRR
- AAAI
- Theor. Comput. Sci.
- Inf. Process. Lett.
- IJCAI
- ICAPS
- SAT
- ISMIS
- ECAI
- IJCAR
- Artif. Intell.
- Discret. Appl. Math.
- Fundam. Informaticae
- SPLC (A)
- PDK
- Discret. Math. Theor. Comput. Sci.
- FMCAD
- ICTAI
- J. Comput. Syst. Sci.
- Sci. China Ser. F Inf. Sci.
- TABLEAUX
- SMC
- IWOCA
- ÖGAI
- CiE
- Graphs Comb.
- CSL
- Artif. Intell. Eng. Des. Anal. Manuf.
- CD-MAKE
- Period. Math. Hung.
- Computation Theory and Logic
- Mach. Learn.
- IEEE Trans. Autom. Control.
- SOFSEM
- Random Struct. Algorithms
- IEEE Expert
- Axioms
- FAW
- J. Approx. Theory
Related Topics
Related Keywords
Popularity