142 ICGA Journal

First Page		Document Content
Date: 2005-01-27 12:18:37 NP-complete Battleship Games Nonogram Computer science Publishing Logic puzzles NP-complete problems Mathematics		142 ICGA Journal Add to Reading List Source URL: www.mountainvistasoft.com Download Document from Source Website File Size: 100,87 KB Share Document on Facebook

	Modeling Knowledge in Alloy CS195Y Capstone Abstract Caleb Stanford 1. Introduction and topic There exists a large class of logic puzzles which make use of the idea of knowledge. Understanding these DocID: 1vnUv - View Document
	Location S Fuzzy Logic Fuzzy’s been kidnapped! All we know is that he’s being subjected to lie-detector tests to figure out what he knows about puzzles! A few months ago, the radical wing of BAPHL managed to capture DocID: 1v5bi - View Document
	D. Radev, University of Michigan, Ann Arbor, USA (Ed.) Puzzles in Logic, Languages and Computation The Red Book Series: Recreational Linguistics, Vol. 1 DocID: 1uClZ - View Document
	Further Beyond Sudoku: Using Logic Puzzles to Develop Mathematical Reasoning Bree Pickford-Murray The Bay School of San Francisco DocID: 1tB3g - View Document
	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 DocID: 1sEXz - View Document