Name
Title | ||
|---|---|---|
Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.24963/ijcai.2018/742 | IJCAI |
Field | DocType | Citations |
Computer science,Genetic programming,Theoretical computer science,Artificial intelligence,Counterexample,Machine learning | Conference | 1 |
PageRank | References | Authors |
0.37 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Krzysztof Krawiec | 1 | 975 | 78.06 |
| Iwo Błądek | 2 | 1 | 0.37 |
| Jerry Swan | 3 | 196 | 19.47 |
| John H. Drake | 4 | 85 | 10.95 |