conftrace_

mathematical conjecture

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

conjecture generation (1) automated conjecturing (1) mathematical discovery (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