HORN FORMULAS
Experts
- Bart Selman
- Stefan Mengel
- Despina Stasi
- György Turán
- Henry A. Kautz
- Pierre Marquis
- Robert H. Sloan
- Hélène Fargier
- Adnan Darwiche
- Hans Kleine Büning
- Piotr J. Wojciechowski
- K. Subramani
- Erik Rosenthal
- Stefan Porschen
- Shetal Shah
- Neil V. Murray
- Lucas Bordeaux
- Eiji Takimoto
- Divya Raghunathan
- S. Akshay
- Supratik Chakraborty
- Alexis de Colnet
- Igor Razgon
- Shankara Narayanan Krishna
- Jatin Arora
- Florent Capelli
- Gianfranco Lamperti
- Marina Zanella
- Ewald Speckenmeyer
- Justyna Petke
- Akira Maruoka
- Johann A. Makowsky
- Alexandre Niveau
- Guangfu Liu
- Ashok K. Goel
- Giso H. Dal
- Nengbin Wang
- Matjaz Konvalinka
- Guy Van den Broeck
Venues
- CoRR
- AAAI
- Theor. Comput. Sci.
- Inf. Process. Lett.
- IJCAI
- Discret. Appl. Math.
- ICAPS
- Artif. Intell.
- ISMIS
- ECAI
- SAT
- IJCAR
- J. Autom. Reason.
- ÖGAI
- Eur. J. Comb.
- Arch. Math. Log.
- FAW
- IEA/AIE
- J. Complex.
- J. Chem. Inf. Model.
- Sci. China Ser. F Inf. Sci.
- CD-MAKE
- Probl. Inf. Transm.
- J. Approx. Theory
- Random Struct. Algorithms
- J. ACM
- SMC
- IEEE Trans. Autom. Control.
- GANDALF
- TABLEAUX
- AAAI Workshop: Beyond NP
- Fundam. Informaticae
- Graphs Comb.
- SOFSEM
- TAPSOFT, Vol.1
- PDK
- J. Log. Comput.
- SPLC (A)
- Artif. Intell. Eng. Des. Anal. Manuf.
Related Topics
Related Keywords
Popularity
No popularities found. Try to change the filters.
Popularity Trend