Author:
Publication: Artificial Intelligence
Editorial Board
Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited