共 11 条
[1]
[Anonymous], 1968, P APR 30 MAY 2 1968
[3]
Bundala D, 2014, LECT NOTES COMPUT SC, V8370, P236, DOI 10.1007/978-3-319-04921-2_19
[4]
Codish M., 2014, CORR
[5]
Efficient Filters for the Simulated Evolution of Small Sorting Networks
[J].
PROCEEDINGS OF THE FOURTEENTH INTERNATIONAL CONFERENCE ON GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE,
2012,
:593-599
[6]
Knuth D., 1998, ART COMPUTER PROGRAM
[7]
Probing-based preprocessing techniques for propositional satisfiability
[J].
15TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS,
2003,
:105-110
[8]
A COMPUTER-ASSISTED OPTIMAL DEPTH LOWER BOUND FOR 9-INPUT SORTING NETWORKS
[J].
MATHEMATICAL SYSTEMS THEORY,
1991, 24 (02)
:101-116
[9]
Valsalam VK, 2013, J MACH LEARN RES, V14, P303
[10]
[No title captured]