A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005

First Page		Document Content
Date: 2005-11-29 11:04:14 Logic puzzles Sudoku Recreational mathematics Abstract strategy games NP-complete problems Mathematics Logic		A SAT-based Sudoku Solver Tjark Weber LPAR’05, December 3rd, 2005 Add to Reading List Source URL: user.it.uu.se Download Document from Source Website File Size: 657,67 KB Share Document on Facebook

	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xVYM - View Document
	Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial, DocID: 1xUuJ - View Document
	Risk Averse Behavior in Generalized Matching Pennies Games Jacob K. Goeree, Charles A. Holt, and Thomas R. Palfrey* April 2002 Abstract. In experimental studies of behavior in 2 × 2 games with unique mixed strategy equi DocID: 1tjPj - View Document
	Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract DocID: 1sS7e - View Document
	Ingenious GAMES Magazine Abstract Strategy Game Nominee 2006 GAMES Magazine Abstract Strategy Game Nominee 2005 DocID: 1sjMx - View Document