Ken McAloon

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