Concepedia

Author

Tim Priesnitz

Also Known As

Priesnitz, Tim, Tim Priesnitz

7

Publications

41

Citations

3

H-Index

8

Concepts

All Affiliations

TP

About

Tim Priesnitz is an author at Université Paris-Sud specializing in mathematical programming, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

26

2

Computer Science

1

1

26

3

Combinatorial Optimization

1

1

26

4

Automated Reasoning

1

1

26

5

Computational Complexity

1

1

26

Tim Priesnitz

×

1

Publications

26

Citations

1

H-Index

YearCitations

Page 1