Mihalis Yannakakis
Columbia University(US)
Publications by Year
Research Areas
Formal Methods in Verification, Advanced Graph Theory Research, Complexity and Algorithms in Graphs, Machine Learning and Algorithms, Optimization and Search Problems
Most-Cited Works
- → Optimization, approximation, and complexity classes(1991)1,646 cited
- → Principles and methods of testing finite state machines-a survey(1996)1,210 cited
- → Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs(1984)1,040 cited
- → On the hardness of approximating minimization problems(1994)882 cited
- → On the Desirability of Acyclic Database Schemes(1983)797 cited
- → On generating all maximal independent sets(1988)761 cited
- → How easy is local search?