Publications: Electronic Proceedings Article: Sudokus as Logical Puzzles

Title*:	Sudokus as Logical Puzzles
Booktitle*:	Proceedings of the Third Workshop on Disproving
Event Address*:	Seattle, USA	URL of the conference:	http://www.cs.chalmers.se/~ahrendt/FLoC06-ws-disproving
Event Date*: (no longer used):		URL for downloading the paper:	http://www.easychair.org/FLoC-06/DISPROVING-preproceedings.pdf
Event Start Date:	8 November 2006	Event End Date:	8 November 2006
Language:	English	Organization:

Publisher

Publisher's Name:	none	Publisher's URL:
Address*:	n.a.	Type:

Vol, No, pp., Year

Series:
Volume:		Number:
Month:		Pages:	2-12
		Sequence Number:
Year*:	2006	ISBN/ISSN:

Abstract, Links, ©

URL for Reference:
Note:
(LaTeX) Abstract:
URL for the Abstract:

Tags, Categories, Keywords:
HyperLinks / References / URLs:
Copyright Message:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics / Automation of Logic
Audience:	popular
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, VG Wort, CCL bibliography

BibTeX Entry:

@INPROCEEDINGS{HillenbrandTopicWeidenbach2005,
AUTHOR = {Hillenbrand, Thomas and Topic, Dalibor and Weidenbach, Christoph},
EDITOR = {Ahrendt, Wolfgang and Baumgartner, Peter and de Nivelle, Hans},
TITLE = {Sudokus as Logical Puzzles},
BOOKTITLE = {Proceedings of the Third Workshop on Disproving},
PUBLISHER = {none},
YEAR = {2006},
PAGES = {2--12},
ADDRESS = {Seattle, USA},
}

Entry last modified by Thomas Hillenbrand, 11/24/2006

Edit History (please click the blue arrow to see the details)

	Editor(s) Thomas Hillenbrand	Created 11/08/2006 12:58:18 PM
Revision 1. 0.	Editor Thomas Hillenbrand Thomas Hillenbrand	Edit Date 11/24/2006 01:53:24 PM 11/08/2006 12:58:18 PM

Attachment Section