Carol Tretkoff

Publication Activity (10 Years)

Years Active: 1979-1998
Publications (10 Years): 0

Publications

Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems. AIPS (1998)
Ken McAloon, Carol Tretkoff
Logic, modeling, and programming. Ann. Oper. Res. 71 (1997)
David M. Arnow, Ken McAloon, Carol Tretkoff
Parallel Integer Goal Programming. ACM Conference on Computer Science (1995)
David M. Arnow, Ken McAloon, Carol Tretkoff
Distributed Programming and Disjunctive Programming. Workshop on Design and Impl. of Parallel Logic Programming Systems (1994)
C. Atay, Ken McAloon, Carol Tretkoff
2lp: A Highly Parallel Constraint Logic Programming Language. PPSC (1993)
Ken McAloon, Carol Tretkoff
2lp: Linear Programming and Logic Programming. PPCP (1993)
Jim Cox, Ken McAloon, Carol Tretkoff
Computational Complexity and Constraint Logic Programming Languages. Ann. Math. Artif. Intell. 5 (2-4) (1992)
Jim Cox, Ken McAloon, Carol Tretkoff
Computational Complexity and Constraint Logic Programming Languages. NACLP (1990)
Carol Tretkoff
Complexity, Combinatorial Group Theory and the Language of Palutators. Theor. Comput. Sci. 56 (1988)
Carol Tretkoff
Bounded Oracles and Complexity Classes Inside Linear Space. Computational Complexity Conference (1986)
Carol Tretkoff, Marvin Tretkoff
On a Theorem of Rimhak Ree about Permutations. J. Comb. Theory, Ser. A 26 (1) (1979)