Concepedia

Ken McAloon

KM

9

Publications

242

Citations

9

H-Index

1987

Active since

Affiliations

The Graduate Center, CUNY(Current)

IBM Research - Thomas J. Watson Research Center

Brooklyn College

Ken McAloon is an author at The Graduate Center, CUNY specializing in automated reasoning, engineering, and computer science.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceBusinessComputational ComplexityManagementConstraintsMarket DesignData Management

Publications per year

1987–2003

9

Publications

9

Constraint Logic Programming and Option Trading

Catherine Lassez, Ken McAloon, Roland H. C. Yap · IEEE Expert · 1987 · 77 citations

Constraint Solving, Constraint Satisfaction, Automated Reasoning +5

A canonical form for generalized linear constraints

Jean-Louis Lassez, Ken McAloon · Journal of Symbolic Computation · 1992 · 62 citations

Generalized Linear Constraints, Constrained Optimization, Linear Programming +1

Computational complexity and constraint logic programming languages

Jim Cox, Ken McAloon, Carol Tretkoff · Annals of Mathematics and Artificial Intelligence · 1992 · 24 citations

Constraint Solving, Engineering, Automated Reasoning +6

2lp: Linear Programming and Logic Programming.

Ken McAloon, Carol Tretkoff · 1993 · 21 citations

Decision Procedures for Constraint Based Extensions of Datalog.

Jim Cox, Ken McAloon · 1991 · 14 citations

Constraint Solving, Engineering, Constraint Satisfaction +7

Rows per page

1–5 of 9