VINCULUM VOLUME 42 NUMBER 4 NOVEMBER[removed]MathSnacks Odder Even Chocoholic Choice*

First Page		Document Content
Date: 2009-12-04 22:21:32 Mechanical puzzles NP-complete problems Combination puzzles Fads Fifteen puzzle Sam Loyd Seven Bridges of Königsberg Crossword Games Puzzles Mathematics		VINCULUM VOLUME 42 NUMBER 4 NOVEMBER[removed]MathSnacks Odder Even Chocoholic Choice* Add to Reading List Source URL: www.qedcat.com Download Document from Source Website File Size: 144,39 KB Share Document on Facebook

	Designing Proof of Human-work Puzzles for Cryptocurrency and Beyond∗ Jeremiah Blocki Purdue University, Hong-Sheng Zhou Virginia Commonwealth University, DocID: 1xVWJ - View Document
	THREE PUZZLES ON MATHEMATICS, COMPUTATION, AND GAMES GIL KALAI HEBREW UNIVERSITY OF JERUSALEM AND YALE UNIVERSITY Abstract. In this lecture I will talk about three mathematical puzzles involving mathematics and computati DocID: 1xUnL - View Document
	Crossword Puzzles as a Constraint Problem Anbulagan and Adi Botea NICTA?? and Australian National University, Canberra, Australia {anbulagan\|adi.botea}@nicta.com.au Abstract. We present new results in crossword composit DocID: 1xU6c - View Document
	Memory puzzles for epistemic relativists Epistemic relativism entails the following theses: R “knowledge” sentences invariantly express propositions that have truth-values only relative to a given epistemic standard. DocID: 1vreE - View Document
	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