Ken McAloon

Publication Activity (10 Years)

Years Active: 1984-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
Disjunctive Linear Programming: At the Intersection of Operations Research and Logic Programming. IJCSLP (1998)
Ken McAloon, Carol Tretkoff
Logic, modeling, and programming. Ann. Oper. Res. 71 (1997)
Ken McAloon
Constraint-Based Programming. ACM Comput. Surv. 28 (4es) (1996)
Geun Sik Jo, Ken McAloon
Anticipatory pruning networks and forward checking in CLP over continuous domains. Decis. Support Syst. 18 (3-4) (1996)
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)
Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry
A Note on the Parallel Complexity of Anti-Unification. J. Autom. Reason. 9 (3) (1992)
Jean-Louis Lassez, Ken McAloon
A Canonical Form for Generalized Linear Constraints. J. Symb. Comput. 13 (1) (1992)
Jim Cox, Ken McAloon, Carol Tretkoff
Computational Complexity and Constraint Logic Programming Languages. Ann. Math. Artif. Intell. 5 (2-4) (1992)
Jean-Louis Lassez, Tien Huynh, Ken McAloon
Simplification and Elimination of Redundant Linear Arithmetic Constraints. WCLP (1991)
Jean-Louis Lassez, Ken McAloon
A Constraint Sequent Calculus. WCLP (1991)
Jim Cox, Ken McAloon
Decision Procedures for Constraint Based Extensions of Datalog. WCLP (1991)
Jean-Louis Lassez, Ken McAloon
A Constraint Sequent Calculus LICS (1990)
Jim Cox, Ken McAloon, Carol Tretkoff
Computational Complexity and Constraint Logic Programming Languages. NACLP (1990)
Jean-Louis Lassez, Tien Huynh, Ken McAloon
Simplification and Elimination of Redundant Linear Arithmetic Constraints. NACLP (1989)
Jean-Louis Lassez, Ken McAloon
Independence of Negative Constraints. TAPSOFT, Vol.1 (1989)
Catherine Lassez, Ken McAloon, Graeme S. Port
Stratification and Knowledge Base Management. J. Symb. Comput. 7 (5) (1989)
Gabriel M. Kuper, Ken McAloon, Krishna V. Palem, Kenneth J. Perry
Efficient Parallel Algorithms for Anti-Unification and Relative Complement LICS (1988)
Jean-Louis Lassez, Ken McAloon
Applications of a Canonical Form of Gerneralized Linear Constraints. FGCS (1988)
Catherine Lassez, Ken McAloon, Roland H. C. Yap
Constraint Logic Programming and Option Trading. IEEE Expert 2 (3) (1987)
Catherine Lassez, Ken McAloon
Stratified Interactive Knowledge Bases. ISMIS (1987)
Catherine Lassez, Ken McAloon, Graeme S. Port
Stratification and Knowledge Based Management. ICLP (1987)
Ken McAloon
Separation Results for Bounded Alternation. Computational Complexity Conference (1986)
Ken McAloon
Petri Nets and Large Finite Sets. Theor. Comput. Sci. 32 (1984)