A Breadth-First Strategy for Mating Search

Automated Deduction — CADE-16 - Lecture Notes in Computer Science ◽

10.1007/3-540-48660-7_32 ◽

1999 ◽

pp. 359-373 ◽

Author(s):

Matthew Bishop

Download Full-text