Title | ||
---|---|---|
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract). |
Year | DOI | Venue |
---|---|---|
2017 | 10.24963/ijcai.2017/713 | IJCAI |
Field | DocType | Citations |
Heuristic,Computer science,Artificial intelligence,Machine learning | Conference | 0 |
PageRank | References | Authors |
0.34 | 2 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Craig E. Larson | 1 | 15 | 4.55 |
Nico Van Cleemput | 2 | 16 | 6.31 |