1998 |
10 | | Carla P. Gomes,
Bart Selman,
Ken McAloon,
Carol Tretkoff:
Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems.
AIPS 1998: 208-213 |
1995 |
9 | EE | David M. Arnow,
Ken McAloon,
Carol Tretkoff:
Parallel Integer Goal Programming.
ACM Conference on Computer Science 1995: 42-47 |
1994 |
8 | | David M. Arnow,
Ken McAloon,
Carol Tretkoff:
Distributed Programming and Disjunctive Programming.
Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 120-129 |
1993 |
7 | | Ken McAloon,
Carol Tretkoff:
2lp: Linear Programming and Logic Programming.
PPCP 1993: 178-189 |
6 | | C. Atay,
Ken McAloon,
Carol Tretkoff:
2lp: A Highly Parallel Constraint Logic Programming Language.
PPSC 1993: 822-828 |
1992 |
5 | | Jim Cox,
Ken McAloon,
Carol Tretkoff:
Computational Complexity and Constraint Logic Programming Languages.
Ann. Math. Artif. Intell. 5(2-4): 163-189 (1992) |
1990 |
4 | | Jim Cox,
Ken McAloon,
Carol Tretkoff:
Computational Complexity and Constraint Logic Programming Languages.
NACLP 1990: 401-415 |
1988 |
3 | | Carol Tretkoff:
Complexity, Combinatorial Group Theory and the Language of Palutators.
Theor. Comput. Sci. 56: 253-275 (1988) |
1986 |
2 | | Carol Tretkoff:
Bounded Oracles and Complexity Classes Inside Linear Space.
Structure in Complexity Theory Conference 1986: 347-361 |
1979 |
1 | | Carol Tretkoff,
Marvin Tretkoff:
On a Theorem of Rimhak Ree about Permutations.
J. Comb. Theory, Ser. A 26(1): 84-86 (1979) |