Name
Year | DOI | Venue |
|---|---|---|
1996 | 10.1145/331119.331192 | SAC |
Keywords | Field | DocType |
steiner system,boolean satisfiability problem,genetic algorithms,genetics,combinatorial optimization,boolean satisfiability,genetic algorithm | Karp–Lipton theorem,Maximum satisfiability problem,Cook–Levin theorem,WalkSAT,Discrete mathematics,#SAT,Mathematical optimization,Computer science,Steiner tree problem,Boolean satisfiability problem,And-inverter graph | Conference |
ISBN | Citations | PageRank |
0-89791-820-7 | 0 | 0.34 |
References | Authors | |
5 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stephen J. Hartley | 1 | 36 | 9.51 |