Statistics
Publications
2
Citations
34
H-Index
2
Active since
1990
Affiliations
Saarland University(Current)
J. A. Zimmer is an author at Saarland University specializing in computing, computer science, and constraint programming.
Publications per year
1990–2004
2
2
J. A. Zimmer · Software Practice and Experience · 1990 · 24 citations
Constraint Solving for Proof Planning
J. A. Zimmer, Erica Melis⋆ · Journal of Automated Reasoning · 2004 · 10 citations
1–2 of 2