Carol Tretkoff

12 papers Journal 4Unranked 7
YearRankTypeTitle / Venue / Authors
1998 — conf
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.
AIPS
Carla P. Gomes, Bart Selman, Ken McAloon, Carol Tretkoff
1997 J jnl
Logic, modeling, and programming.
Ann. Oper. Res.
Ken McAloon, Carol Tretkoff
1996 — book
Optimization and computational logic.
Kenneth McAloon, Carol Tretkoff
1995 — conf
Parallel Integer Goal Programming.
ACM Conference on Computer Science
David M. Arnow, Ken McAloon, Carol Tretkoff
1994 — conf
Distributed Programming and Disjunctive Programming.
Workshop on Design and Impl. of Parallel Logic Programming Systems
David M. Arnow, Ken McAloon, Carol Tretkoff
1993 — conf
2lp: A Highly Parallel Constraint Logic Programming Language.
PPSC
C. Atay, Ken McAloon, Carol Tretkoff
1993 — conf
2lp: Linear Programming and Logic Programming.
PPCP
Ken McAloon, Carol Tretkoff
1992 J jnl
Computational Complexity and Constraint Logic Programming Languages.
Ann. Math. Artif. Intell.
Jim Cox, Ken McAloon, Carol Tretkoff
1990 — conf
Computational Complexity and Constraint Logic Programming Languages.
NACLP
Jim Cox, Ken McAloon, Carol Tretkoff
1988 J jnl
Complexity, Combinatorial Group Theory and the Language of Palutators.
Theor. Comput. Sci.
Carol Tretkoff
1986 — conf
Bounded Oracles and Complexity Classes Inside Linear Space.
SCT
Carol Tretkoff
1979 J jnl
On a Theorem of Rimhak Ree about Permutations.
J. Comb. Theory A
Carol Tretkoff, Marvin Tretkoff