Deductive Search for Logic Puzzles Cameron Browne Imperial College London South Kensington, UK Abstract—Deductive search (DS) is a breadth-ﬁrst, depthlimited propagation scheme for the constraint-ba

First Page		Document Content
Date: 2016-07-12 12:05:04		Deductive Search for Logic Puzzles Cameron Browne Imperial College London South Kensington, UK Abstract—Deductive search (DS) is a breadth-ﬁrst, depthlimited propagation scheme for the constraint-ba Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Download Document from Source Website File Size: 484,53 KB Share Document on Facebook