Search results for "minesweeper"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	Mordechai Ben-Ari	Minesweeper as an NP-complete problem.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	minesweeper, NP-complete, SAT
55	Alex Thieme, Twan Basten	Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits.	A Journey from Process Algebra via Timed Automata to Model Learning	2022	DBLP DOI BibTeX RDF
52	Raphaël Collet	Playing the Minesweeper with Constraints.	MOZ	2004	DBLP DOI BibTeX RDF
33	Nick Parlante, David Matuszek, Jeff Lehman, David Reed, John K. Estell, Donald D. Chinn	Nifty assignments.	SIGCSE	2004	DBLP DOI BibTeX RDF	minesweeper, pirate, education, object oriented programming, pedagogy, recursion, library, repository, assignments, examples, nifty, homeworks, cards
27	Yinghao Li, Haorui Wang, Chao Zhang	Assessing Logical Puzzle Solving in Large Language Models: Insights from a Minesweeper Case Study.	CoRR	2023	DBLP DOI BibTeX RDF
27	Igor Q. Lordeiro, Diego B. Haddad, Douglas de O. Cardoso	Multi-Armed Bandits for Minesweeper: Profiting From Exploration-Exploitation Synergy.	IEEE Trans. Games	2022	DBLP DOI BibTeX RDF
27	M. Hamza Sajjad	Neural Network Learner for Minesweeper.	CoRR	2022	DBLP DOI BibTeX RDF
27	Chang Liu, Shunqi Huang, Naying Gao, Mohd Nor Akmal Khalid, Hiroyuki Iida	A solver of single-agent stochastic puzzle: A case study with Minesweeper.	Knowl. Based Syst.	2022	DBLP DOI BibTeX RDF
27	Todd W. Neller, Hien G. Tran	The Bullets Puzzle: A Paper-and-Pencil Minesweeper.	AAAI	2022	DBLP DOI BibTeX RDF
27	Márton Erdos, Sam Ainsworth 0001, Timothy M. Jones 0001	MineSweeper: a "clean sweep" for drop-in use-after-free prevention.	ASPLOS	2022	DBLP DOI BibTeX RDF
27	Anav Mehta	Reinforcement Learning For Constraint Satisfaction Game Agents (15-Puzzle, Minesweeper, 2048, and Sudoku).	CoRR	2021	DBLP BibTeX RDF
27	Yash Pratyush Sinha, Pranshu Malviya, Rupaj Kumar Nayak	Fast constraint satisfaction problem and learning-based algorithm for solving Minesweeper.	CoRR	2021	DBLP BibTeX RDF
27	Xindan Zhang, Xinnian Zhang, Xiaohan Li, Jian Zhang	Design and Implementation of C# Minesweeper Game Software.	CSIA (2)	2021	DBLP DOI BibTeX RDF
27	Mohammed M. Alammar, Miguel López-Benítez	A Minesweeper Algorithm for Improved Signal Area Estimation in Spectrum Aware Systems.	ICT	2021	DBLP DOI BibTeX RDF
27	Ross Dempsey, Charles Guinn	A Phase Transition in Minesweeper.	FUN	2021	DBLP DOI BibTeX RDF
27	Eryk Kopczynski	Hyperbolic Minesweeper Is in P.	FUN	2021	DBLP DOI BibTeX RDF
27	Ross Dempsey, Charles Guinn	A Phase Transition in Minesweeper.	CoRR	2020	DBLP BibTeX RDF
27	Igor Q. Lordeiro, Douglas de O. Cardoso	Multi-Armed Bandits for Minesweeper: Profiting from Exploration-Exploitation Synergy.	CoRR	2020	DBLP BibTeX RDF
27	Eryk Kopczynski	Hyperbolic Minesweeper is in P.	CoRR	2020	DBLP BibTeX RDF
27	Carl L. Colena, Michael J. Russell, Stephen A. Braun	Minesweeper: A Novel and Fast Ordered-Statistic CFAR Algorithm.	HPEC	2020	DBLP DOI BibTeX RDF
27	Yimin Tang, Tian Jiang, Yanpeng Hu	A Minesweeper Solver Using Logic Inference, CSP and Sampling.	CoRR	2018	DBLP BibTeX RDF
27	Radhesh Krishnan Konoth, Emanuele Vineti, Veelasha Moonsamy, Martina Lindorfer, Christopher Kruegel, Herbert Bos, Giovanni Vigna	MineSweeper: An In-depth Look into Drive-by Cryptocurrency Mining and Its Defense.	CCS	2018	DBLP DOI BibTeX RDF
27	Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran	Minesweeper with Limited Moves.	AAAI	2018	DBLP DOI BibTeX RDF
27	Susmita Mahato, Dilip Kumar Yadav, Danish Ali Khan	A minesweeper game-based steganography scheme.	J. Inf. Secur. Appl.	2017	DBLP DOI BibTeX RDF
27	Jinzheng Tu 0001, Tianhong Li, Shiteng Chen, Chong Zu, Zhaoquan Gu	Exploring Efficient Strategies for Minesweeper.	AAAI Workshops	2017	DBLP BibTeX RDF
27	Seunghoon Lee	A Short Note on Improved Logic Circuits in a Hexagonal Minesweeper.	CoRR	2016	DBLP BibTeX RDF
27	Shahar Golan	Minesweeper strategy for one mine.	Appl. Math. Comput.	2014	DBLP DOI BibTeX RDF
27	Jirí Vomlel, Petr Tichavský	An Approximate Tensor-Based Inference Method Applied to the Game of Minesweeper.	Probabilistic Graphical Models	2014	DBLP DOI BibTeX RDF
27	Hung Q. Ngo 0001, Dung T. Nguyen, Christopher Ré, Atri Rudra	Beyond worst-case analysis for joins with minesweeper.	PODS	2014	DBLP DOI BibTeX RDF
27	Taejin Kim, Siwan Kim, Hyunyi Yi, Gunil Ma, Jeong Hyun Yi	Mobile User Authentication Scheme Based on Minesweeper Game.	MUE	2013	DBLP DOI BibTeX RDF
27	Michiel de Bondt	The computational complexity of Minesweeper	CoRR	2012	DBLP BibTeX RDF
27	Michèle Sebag, Olivier Teytaud	Upper Confidence Tree-Based Consistent Reactive Planning Application to MineSweeper.	LION	2012	DBLP DOI BibTeX RDF
27	Nicolas Mendoza R., Pablo A. Figueroa	Hand controlled 3D minesweeper.	CLEI	2012	DBLP DOI BibTeX RDF
27	Shahar Golan	Minesweeper on graphs.	Appl. Math. Comput.	2011	DBLP DOI BibTeX RDF
27	Martin J. Chlond	Puzzle - Minesweeper Puzzles.	INFORMS Trans. Educ.	2011	DBLP BibTeX RDF
27	Karima B. Hein, Reinhold Weiss	Minesweeper for Sensor Networks-Making Event Detection in Sensor Networks Dependable.	CSE (1)	2009	DBLP DOI BibTeX RDF
27	Oleg German, Evgeny Lakshtanov	"Minesweeper" without a computer	CoRR	2008	DBLP BibTeX RDF
27	Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry	An Interactive Constraint-Based Approach to Minesweeper.	AAAI	2006	DBLP BibTeX RDF
27	Lourdes Peña Castillo, Stefan Wrobel	Learning Minesweeper with Multirelational Learning.	IJCAI	2003	DBLP BibTeX RDF
27	Elchanan Mossel	The Minesweeper Game: Percolation And Complexity.	Comb. Probab. Comput.	2002	DBLP DOI BibTeX RDF
25	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
25	Jim Maurer	What's on your hard drive?	ACM Queue	2005	DBLP DOI BibTeX RDF
25	Meghan Revelle, Tiffany Broadbent, David Coppit	Understanding Concerns in Software: Insights Gained from Two Case Studies.	IWPC	2005	DBLP DOI BibTeX RDF
25	Mark A. Holliday	Incremental game development in an introductory programming course.	ACM Southeast Regional Conference	1995	DBLP DOI BibTeX RDF