HORN FORMULAS
Experts
- Stefan Mengel
- Bart Selman
- György Turán
- Henry A. Kautz
- Robert H. Sloan
- Despina Stasi
- Pierre Marquis
- Adnan Darwiche
- Hélène Fargier
- Hans Kleine Büning
- Eiji Takimoto
- Akira Maruoka
- Neil V. Murray
- Justyna Petke
- Supratik Chakraborty
- Shankara Narayanan Krishna
- Shetal Shah
- Piotr J. Wojciechowski
- K. Subramani
- Alexis de Colnet
- Johann A. Makowsky
- Alexandre Niveau
- Jatin Arora
- Lucas Bordeaux
- Marina Zanella
- S. Akshay
- Gianfranco Lamperti
- Stefan Porschen
- Ewald Speckenmeyer
- Divya Raghunathan
- Florent Capelli
- Igor Razgon
- Erik Rosenthal
- Yasuo Namioka
- Yoshifumi Sakai
- Aline Paes
- Cheng-Chia Chen
- Sergej Scheck
- Alexander N. Grichkov
Venues
- CoRR
- AAAI
- Theor. Comput. Sci.
- Discret. Appl. Math.
- IJCAI
- Inf. Process. Lett.
- ISMIS
- Artif. Intell.
- SAT
- IJCAR
- ECAI
- ICAPS
- Artif. Intell. Eng. Des. Anal. Manuf.
- SPLC (A)
- WG
- IEEE Trans. Autom. Control.
- IWOCA
- J. Comput. Syst. Sci.
- Computation Theory and Logic
- IJCAI (1)
- IEA/AIE
- Sci. China Ser. F Inf. Sci.
- ICALP (1)
- FAW
- Eur. J. Comb.
- J. Symb. Log.
- J. Complex.
- AAAI Workshop: Beyond NP
- SMT
- Period. Math. Hung.
- KR
- Axioms
- CD-MAKE
- Int. J. Algebra Comput.
- ICDT
- IEICE Trans. Inf. Syst.
- SOFSEM
- Probl. Inf. Transm.
- Graphs Comb.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend