Concepedia

Author

Andreas Sprock

Also Known As

Andreas Sprock, Sprock, Andreas

13

Publications

150

Citations

7

H-Index

8

Concepts

All Affiliations

AS

About

Andreas Sprock is an author at ETH Zurich specializing in formal methods, computational complexity, and decision theory.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

48

2

Computer Science

1

1

48

3

Combinatorial Optimization

1

1

48

4

Automated Reasoning

1

1

48

5

Computational Complexity

1

1

48

Andreas Sprock

×

1

Publications

48

Citations

1

H-Index

YearCitations

Page 1