Carol Tretkoff

According to our database, Carol Tretkoff authored at least 11 papers between 1979 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.

Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff

Proceedings of the Fourth International Conference on Artificial Intelligence Planning Systems, 1998

1997

Logic, modeling, and programming.

Ken McAloon, Carol Tretkoff

Ann. Oper. Res., 1997

1996

Optimization and computational logic.

Kenneth McAloon, Carol Tretkoff

Wiley-Interscience series in discrete mathematics and optimization, Wiley, ISBN: 978-0-471-11533-5, 1996

1995

Parallel Integer Goal Programming.

David M. Arnow, Ken McAloon, Carol Tretkoff

Proceedings of the 1995 ACM 23rd Annual Conference on Computer Science, CSC '95, Nashville, TN, USA, February 28, 1995

1994

Distributed Programming and Disjunctive Programming.

David M. Arnow, Ken McAloon, Carol Tretkoff

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

1993

2lp: A Highly Parallel Constraint Logic Programming Language.

C. Atay, Ken McAloon, Carol Tretkoff

Proceedings of the Sixth SIAM Conference on Parallel Processing for Scientific Computing, 1993

2lp: Linear Programming and Logic Programming.

Ken McAloon, Carol Tretkoff

Proceedings of the Principles and Practice of Constraint Programming, 1993

1992

Computational Complexity and Constraint Logic Programming Languages.

Jim Cox, Ken McAloon, Carol Tretkoff

Ann. Math. Artif. Intell., 1992

1988

Complexity, Combinatorial Group Theory and the Language of Palutators.

Carol Tretkoff

Theor. Comput. Sci., 1988

1986

Bounded Oracles and Complexity Classes Inside Linear Space.

Carol Tretkoff

Proceedings of the Structure in Complexity Theory, 1986

1979

On a Theorem of Rimhak Ree about Permutations.

Carol Tretkoff, Marvin Tretkoff

J. Comb. Theory, Ser. A, 1979