Mladen Nikolić

Publications

Software

Research interests

• Machine learning and data mining
  • Medical data analysis
  • Social network analysis
  • Graph mining
  • Spatial data analysis
• Automated reasoning
  • Coherent logic proving
  • SAT solving