| 2005 |
| 32 | EE | Eugene M. Luks,
Amitabha Roy:
Combinatorics of Singly-Repairable Families.
Electr. J. Comb. 12: (2005) |
| 31 | EE | Heidi E. Dixon,
Matthew L. Ginsberg,
David K. Hofer,
Eugene M. Luks,
Andrew J. Parkes:
Generalizing Boolean Satisfiability III: Implementation.
J. Artif. Intell. Res. (JAIR) 23: 441-531 (2005) |
| 2004 |
| 30 | | Heidi E. Dixon,
Matthew L. Ginsberg,
David K. Hofer,
Eugene M. Luks,
Andrew J. Parkes:
Implementing a Generalized Version of Resolution.
AAAI 2004: 55-60 |
| 29 | EE | Eugene M. Luks,
Amitabha Roy:
The Complexity of Symmetry-Breaking Formulas.
Ann. Math. Artif. Intell. 41(1): 19-45 (2004) |
| 28 | EE | Heidi E. Dixon,
Matthew L. Ginsberg,
Eugene M. Luks,
Andrew J. Parkes:
Generalizing Boolean Satisfiability II: Theory.
J. Artif. Intell. Res. (JAIR) 22: 481-534 (2004) |
| 2002 |
| 27 | EE | Eugene M. Luks,
Amitabha Roy:
Symmetry Breaking in Constraint Satisfaction.
AMAI 2002 |
| 26 | EE | Eugene M. Luks,
Takunari Miyazaki:
Polynomial-time normalizers for permutation groups with restricted composition factors.
ISSAC 2002: 176-183 |
| 1999 |
| 25 | EE | Eugene M. Luks:
Hypergraph Isomorphism and Structural Equivalence of Boolean Functions.
STOC 1999: 652-658 |
| 24 | | William M. Kantor,
Eugene M. Luks,
Peter D. Mark:
Sylow Subgroups in Parallel.
J. Algorithms 31(1): 132-195 (1999) |
| 1997 |
| 23 | | Eugene M. Luks,
Ferenc Rakoczi,
Charles R. B. Wright:
Some Algorithms for Nilpotent Permutation Groups.
J. Symb. Comput. 23(4): 335-354 (1997) |
| 22 | | László Babai,
Eugene M. Luks,
Ákos Seress:
Fast Management of Permutation Groups I.
SIAM J. Comput. 26(5): 1310-1342 (1997) |
| 1996 |
| 21 | | James M. Crawford,
Matthew L. Ginsberg,
Eugene M. Luks,
Amitabha Roy:
Symmetry-Breaking Predicates for Search Problems.
KR 1996: 148-159 |
| 20 | | László Babai,
Robert Beals,
Jin-yi Cai,
Gábor Ivanyos,
Eugene M. Luks:
Multiplicative Equations over Commuting Matrices.
SODA 1996: 498-507 |
| 1995 |
| 19 | | 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): 296-308 (1995) |
| 1994 |
| 18 | EE | Eugene M. Luks,
Ferenc Rakoczi,
Charles R. B. Wright:
Computing Normalizers in Permutation p-Groups.
ISSAC 1994: 139-146 |
| 1992 |
| 17 | | Eugene M. Luks:
Computing in Solvable Matrix Groups
FOCS 1992: 111-120 |
| 1991 |
| 16 | | László Babai,
Gene Cooperman,
Larry Finkelstein,
Eugene M. Luks,
Ákos Seress:
Fast Monte Carlo Algorithms for Permutation Groups
STOC 1991: 90-100 |
| 1990 |
| 15 | | William M. Kantor,
Eugene M. Luks:
Computing in Quotient Groups
STOC 1990: 524-534 |
| 1989 |
| 14 | EE | Gene Cooperman,
Larry Finkelstein,
Eugene M. Luks:
Reduction of Group Constructions to Point Stabilizers.
ISSAC 1989: 351-356 |
| 1988 |
| 13 | | László Babai,
Eugene M. Luks,
Ákos Seress:
Fast Management of Permutation Groups
FOCS 1988: 272-282 |
| 12 | | Eugene M. Luks,
Pierre McKenzie:
Parallel Algorithms for Solvable Permutation Groups.
J. Comput. Syst. Sci. 37(1): 39-62 (1988) |
| 1987 |
| 11 | | László Babai,
Eugene M. Luks,
Ákos Seress:
Permutation Groups in NC
STOC 1987: 409-420 |
| 10 | | Eugene M. Luks:
Computing the composition factors of a permutation group in polynomial time.
Combinatorica 7(1): 87-99 (1987) |
| 9 | EE | 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): 513-531 (1987) |
| 1986 |
| 8 | | Eugene M. Luks:
Parallel Algorithms for Permutation Groups and Graph Isomorphism
FOCS 1986: 292-302 |
| 1985 |
| 7 | | Eugene M. Luks,
Pierre McKenzie:
Fast Parallel Computation with Permutation Groups
FOCS 1985: 505-514 |
| 1983 |
| 6 | | László Babai,
William M. Kantor,
Eugene M. Luks:
Computational Complexity and the Classification of Finite Simple Groups
FOCS 1983: 162-171 |
| 5 | | László Babai,
Eugene M. Luks:
Canonical Labeling of Graphs
STOC 1983: 171-183 |
| 1982 |
| 4 | | 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: 118-125 |
| 3 | | Eugene M. Luks:
Isomorphism of Graphs of Bounded Valence can be Tested in Polynomial Time.
J. Comput. Syst. Sci. 25(1): 42-65 (1982) |
| 1980 |
| 2 | | Merrick L. Furst,
John E. Hopcroft,
Eugene M. Luks:
Polynomial-Time Algorithms for Permutation Groups
FOCS 1980: 36-41 |
| 1 | | Eugene M. Luks:
Isomorphism of Graphs of Bounded Valence Can Be Tested in Polynomial Time
FOCS 1980: 42-49 |