Eugene M. Luks

Publication Activity (10 Years)

Years Active: 1980-2015
Publications (10 Years): 1

Top Topics

Image Sequences

Group Membership

Learning Process

Top Venues

Publications

Eugene M. Luks
Group Isomorphism with Fixed Subnormal Chains. CoRR (2015)
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability III: Implementation CoRR (2011)
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability II: Theory CoRR (2011)
Eugene M. Luks, Takunari Miyazaki
Polynomial-time normalizers. Discret. Math. Theor. Comput. Sci. 13 (4) (2011)
Eugene M. Luks, Amitabha Roy
Combinatorics of Singly-Repairable Families. Electron. J. Comb. 12 (2005)
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability III: Implementation. J. Artif. Intell. Res. 23 (2005)
Heidi E. Dixon, Matthew L. Ginsberg, David K. Hofer, Eugene M. Luks, Andrew J. Parkes
Implementing a Generalized Version of Resolution. AAAI (2004)
Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes
Generalizing Boolean Satisfiability II: Theory. J. Artif. Intell. Res. 22 (2004)
Eugene M. Luks, Amitabha Roy
The Complexity of Symmetry-Breaking Formulas. Ann. Math. Artif. Intell. 41 (1) (2004)
Eugene M. Luks, Amitabha Roy
Symmetry Breaking in Constraint Satisfaction. AI&M (2002)
Eugene M. Luks, Takunari Miyazaki
Polynomial-time normalizers for permutation groups with restricted composition factors. ISSAC (2002)
William M. Kantor, Eugene M. Luks, Peter D. Mark
Sylow Subgroups in Parallel. J. Algorithms 31 (1) (1999)
Eugene M. Luks
Hypergraph Isomorphism and Structural Equivalence of Boolean Functions. STOC (1999)
László Babai, Eugene M. Luks, Ákos Seress
Fast Management of Permutation Groups I. SIAM J. Comput. 26 (5) (1997)
Eugene M. Luks, Ferenc Rakoczi, Charles R. B. Wright
Some Algorithms for Nilpotent Permutation Groups. J. Symb. Comput. 23 (4) (1997)
László Babai, Robert Beals, Jin-yi Cai, Gábor Ivanyos, Eugene M. Luks
Multiplicative Equations over Commuting Matrices. SODA (1996)
James M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy
Symmetry-Breaking Predicates for Search Problems. KR (1996)
László Babai, Gene Cooperman, Larry Finkelstein, Eugene M. Luks, Ákos Seress
Fast Monte Carlo Algorithms for Permutation Groups. J. Comput. Syst. Sci. 50 (2) (1995)
Eugene M. Luks, Ákos Seress
Computing the Fitting subgroup and solvable radical for small-base permutation groups in nearly linear time. Groups and Computation (1995)
Eugene M. Luks, Ferenc Rakoczi, Charles R. B. Wright
-Groups. ISSAC (1994)
Eugene M. Luks
Computing in Solvable Matrix Groups FOCS (1992)
László Babai, Eugene M. Luks, Ákos Seress
Computing Composition Series in Primitive Groups. Groups And Computation (1991)
László Babai, Gene Cooperman, Larry Finkelstein, Eugene M. Luks, Ákos Seress
Fast Monte Carlo Algorithms for Permutation Groups STOC (1991)
Eugene M. Luks
Permutation Groups and Polynomial-Time Computation. Groups And Computation (1991)
William M. Kantor, Eugene M. Luks
Computing in Quotient Groups STOC (1990)
Gene Cooperman, Larry Finkelstein, Eugene M. Luks
Reduction of Group Constructions to Point Stabilizers. ISSAC (1989)
László Babai, Eugene M. Luks, Ákos Seress
Fast Management of Permutation Groups FOCS (1988)
Eugene M. Luks, Pierre McKenzie
Parallel Algorithms for Solvable Permutation Groups. J. Comput. Syst. Sci. 37 (1) (1988)
Eugene M. Luks
Computing the composition factors of a permutation group in polynomial time. Comb. 7 (1) (1987)
László Babai, Eugene M. Luks, Ákos Seress
Permutation Groups in NC STOC (1987)
Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber
An O(n³log n) deterministic and an O(n³) Las Vegs isomorphism test for trivalent graphs. J. ACM 34 (3) (1987)
Eugene M. Luks
Parallel Algorithms for Permutation Groups and Graph Isomorphism FOCS (1986)
Eugene M. Luks, Pierre McKenzie
Fast Parallel Computation with Permutation Groups FOCS (1985)
László Babai, Eugene M. Luks
Canonical Labeling of Graphs STOC (1983)
László Babai, William M. Kantor, Eugene M. Luks
Computational Complexity and the Classification of Finite Simple Groups FOCS (1983)
Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus-Peter Schnorr, Andreas Weber
An O(n^3 log n) Deterministic and an O(n^3) Probabilistic Isomorphism Test for Trivalent Graphs FOCS (1982)
Eugene M. Luks
Isomorphism of Graphs of Bounded Valence can be Tested in Polynomial Time. J. Comput. Syst. Sci. 25 (1) (1982)
Merrick L. Furst, John E. Hopcroft, Eugene M. Luks
Polynomial-Time Algorithms for Permutation Groups FOCS (1980)
Eugene M. Luks
Isomorphism of Graphs of Bounded Valence Can Be Tested in Polynomial Time FOCS (1980)