conftrace_

automated conjecturing

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

mathematical discovery (1) conjecture generation (1) mathematical conjecture (1) heuristic algorithm (1) automated reasoning (1) heuristic search (1) graph theory (1)

Papers

Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017