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 |