PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "McAloon, Ken"

Author of the publication

copydeleteadd this publication to your clipboard
Simplification and Elimination of Redundant Linear Arithmetic Constraints.

, , and . WCLP, page 73-87. MIT Press, (1991)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Niki Kentroti University of Stuttgart

Apl. Prof. Dr. Martin Kenner University of Stuttgart

Finn Kenklies University of Stuttgart

 

Other publications of authors with the same name

Simplification and Elimination of Redundant Linear Arithmetic Constraints., , and . WCLP, page 73-87. MIT Press, (1991)Decision Procedures for Constraint Based Extensions of Datalog., and . WCLP, page 17-32. MIT Press, (1991)Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems., , , and . AIPS, page 208-213. AAAI, (1998)Constraint Logic Programming and Option Trading., , and . IEEE Expert, 2 (3): 42-50 (1987)Stratified Interactive Knowledge Bases., and . ISMIS, page 408-415. (1987)Constraint-Based Programming.. ACM Comput. Surv., 28 (4es): 69 (1996)Efficient Parallel Algorithms for Anti-Unification and Relative Complement, , , and . LICS, page 112-120. IEEE Computer Society, (1988)Independence of Negative Constraints., and . TAPSOFT, Vol.1, volume 351 of Lecture Notes in Computer Science, page 19-27. Springer, (1989)Parallel Integer Goal Programming., , and . ACM Conference on Computer Science, page 42-47. ACM, (1995)Stratification and Knowledge Base Management., , and . J. Symb. Comput., 7 (5): 509-522 (1989)