 | 1998 |
|---|
| 24 |       | 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 |
| 23 | | Ken McAloon:
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming.
IJCSLP 1998: 5-6 |
| 1996 |
|---|
| 22 | | Ken McAloon:
Constraint-Based Programming.
ACM Comput. Surv. 28(4es): 69 (1996) |
| 1995 |
|---|
| 21 |  | David M. Arnow,
Ken McAloon,
Carol Tretkoff:
Parallel Integer Goal Programming.
ACM Conference on Computer Science 1995: 42-47 |
| 1994 |
|---|
| 20 | | 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 |
|---|
| 19 | | Ken McAloon,
Carol Tretkoff:
2lp: Linear Programming and Logic Programming.
PPCP 1993: 178-189 |
| 18 | | C. Atay,
Ken McAloon,
Carol Tretkoff:
2lp: A Highly Parallel Constraint Logic Programming Language.
PPSC 1993: 822-828 |
| 1992 |
|---|
| 17 | | Jim Cox,
Ken McAloon,
Carol Tretkoff:
Computational Complexity and Constraint Logic Programming Languages.
Ann. Math. Artif. Intell. 5(2-4): 163-189 (1992) |
| 16 | | Gabriel M. Kuper,
Ken McAloon,
Krishna V. Palem,
Kenneth J. Perry:
A Note on the Parallel Complexity of Anti-Unification.
J. Autom. Reasoning 9(3): 381-389 (1992) |
| 15 | | Jean-Louis Lassez,
Ken McAloon:
A Canonical Form for Generalized Linear Constraints.
J. Symb. Comput. 13(1): 1-24 (1992) |
| 1991 |
|---|
| 14 | | Jim Cox,
Ken McAloon:
Decision Procedures for Constraint Based Extensions of Datalog.
WCLP 1991: 17-32 |
| 13 | | Jean-Louis Lassez,
Ken McAloon:
A Constraint Sequent Calculus.
WCLP 1991: 33-43 |
| 12 | | Jean-Louis Lassez,
Tien Huynh,
Ken McAloon:
Simplification and Elimination of Redundant Linear Arithmetic Constraints.
WCLP 1991: 73-87 |
| 1990 |
|---|
| 11 | | Jean-Louis Lassez,
Ken McAloon:
A Constraint Sequent Calculus
LICS 1990: 52-61 |
| 10 | | Jim Cox,
Ken McAloon,
Carol Tretkoff:
Computational Complexity and Constraint Logic Programming Languages.
NACLP 1990: 401-415 |
| 1989 |
|---|
| 9 | | Jean-Louis Lassez,
Tien Huynh,
Ken McAloon:
Simplification and Elimination of Redundant Linear Arithmetic Constraints.
NACLP 1989: 37-51 |
| 8 | | Jean-Louis Lassez,
Ken McAloon:
Independence of Negative Constraints.
TAPSOFT, Vol.1 1989: 19-27 |
| 7 | | Catherine Lassez,
Ken McAloon,
Graeme S. Port:
Stratification and Knowledge Base Management.
J. Symb. Comput. 7(5): 509-522 (1989) |
| 1988 |
|---|
| 6 | | Jean-Louis Lassez,
Ken McAloon:
Applications of a Canonical Form of Gerneralized Linear Constraints.
FGCS 1988: 703-710 |
| 5 | | Gabriel M. Kuper,
Ken McAloon,
Krishna V. Palem,
Kenneth J. Perry:
Efficient Parallel Algorithms for Anti-Unification and Relative Complement
LICS 1988: 112-120 |
| 1987 |
|---|
| 4 | | Catherine Lassez,
Ken McAloon,
Graeme S. Port:
Stratification and Knowledge Based Management.
ICLP 1987: 136-151 |
| 3 | | Catherine Lassez,
Ken McAloon:
Stratified Interactive Knowledge Bases.
ISMIS 1987: 408-415 |
| 1986 |
|---|
| 2 | | Ken McAloon:
Separation Results for Bounded Alternation.
Structure in Complexity Theory Conference 1986: 265-271 |
| 1984 |
|---|
| 1 | | Ken McAloon:
Petri Nets and Large Finite Sets.
Theor. Comput. Sci. 32: 173-183 (1984) |
