Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using

First Page		Document Content
Date: 2015-05-08 07:57:20 Software engineering Constraint satisfaction Cassowary Sudoku Backtracking Kaleidoscope Satisfiability Modulo Theories Sudoku algorithms Mathematics of Sudoku Constraint programming Theoretical computer science Mathematics		Workshop on Reactive and Event-based Languages and Systems (REBLSCo-located with SPLASH, October 21, 2014, Portland, Oregon, USA Solving Interactive Logic Puzzles With Object-Constraints An Experience Report Using Add to Reading List Source URL: www.hpi.uni-potsdam.de Download Document from Source Website File Size: 707,78 KB Share Document on Facebook

	159 July, 1947 AN ESTIMATED DocID: 1qXaP - View Document
	A Constraint Extension to Scalable Vector Graphics Greg J. Badros Will Portnoy Jeff Nichols Alan Borning {badros,will,jwnichls,borning}@cs.washington.edu Dept. of Computer Science and Engineering University of Washington DocID: 1fF5Y - View Document
	The Cassowary Linear Arithmetic Constraint Solving Algorithm Greg J. Badros, Alan Borning Dept. of Computer Science and Engineering, University of Washington and Peter Stuckey DocID: 1dWwq - View Document
	The Cassowary Linear Arithmetic Constraint Solving Algorithm: Interface and Implementation Greg J. Badros Alan Borning DocID: 1bwdb - View Document
	Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros InfoSpace.com 2801 Alaskan Way, Suite 200 Seattle, WA 98121, USA DocID: 1aU1c - View Document