Concepedia

Carol Tretkoff

CT

6

Publications

173

Citations

6

H-Index

1975

Active since

Affiliations

Cornell University(Current)

Carol Tretkoff is an author at Cornell University specializing in computational complexity, engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputational ComplexityProbabilityData ScienceFormal MethodsLogic ProgrammingParallel ComputingAutomated ReasoningOperations Research

Publications per year

1975–1998

6

Publications

6

Randomization in backtrack search: exploiting heavy-tailed profiles for solving hard scheduling problems

Carla P. Gomes, Bart Selman, K. J. McAloon et al. · 1998 · 59 citations

Mathematical Programming, Engineering, Hard Scheduling Problems +17

Solution of the Inverse Problem of Differential Galois Theory in the Classical Case

Carol Tretkoff, Marvin Tretkoff · American Journal of Mathematics · 1979 · 40 citations

Inverse Problem, Classical Case, Differential Galois Theory

Computational complexity and constraint logic programming languages

Jim Cox, Ken McAloon, Carol Tretkoff · Annals of Mathematics and Artificial Intelligence · 1992 · 24 citations

Constraint Solving, Engineering, Automated Reasoning +6

2lp: Linear Programming and Logic Programming.

Ken McAloon, Carol Tretkoff · 1993 · 21 citations

Nonparabolic subgroups of the modular group

Carol Tretkoff · Glasgow Mathematical Journal · 1975 · 17 citations · Full text

Nonparabolic Subgroups, Parabolic Elements, Maximal Nonparabolic Subgroup +5

Rows per page

1–5 of 6