|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 13 keywords
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Mordechai Ben-Ari |
Minesweeper as an NP-complete problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 37(4), pp. 39-40, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
minesweeper, NP-complete, SAT |
55 | Alex Thieme, Twan Basten |
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey from Process Algebra via Timed Automata to Model Learning ![In: A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, pp. 472-490, 2022, Springer, 978-3-031-15628-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
52 | Raphaël Collet |
Playing the Minesweeper with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOZ ![In: Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers, pp. 251-262, 2004, Springer, 3-540-25079-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Nick Parlante, David Matuszek, Jeff Lehman, David Reed, John K. Estell, Donald D. Chinn |
Nifty assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2004, Norfolk, Virginia, USA, March 3-7, 2004, pp. 46-47, 2004, ACM, 1-58113-798-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.07387, 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Games ![In: IEEE Trans. Games 14(3), pp. 403-412, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | M. Hamza Sajjad |
Neural Network Learner for Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.10446, 2022. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Based Syst. ![In: Knowl. Based Syst. 246, pp. 108630, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Todd W. Neller, Hien G. Tran |
The Bullets Puzzle: A Paper-and-Pencil Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022, pp. 12819-12825, 2022, AAAI Press, 978-1-57735-876-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASPLOS ![In: ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022 - 4 March 2022, pp. 212-225, 2022, ACM, 978-1-4503-9205-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
27 | Anav Mehta |
Reinforcement Learning For Constraint Satisfaction Game Agents (15-Puzzle, Minesweeper, 2048, and Sudoku). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.06019, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Yash Pratyush Sinha, Pranshu Malviya, Rupaj Kumar Nayak |
Fast constraint satisfaction problem and learning-based algorithm for solving Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.04120, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
27 | Xindan Zhang, Xinnian Zhang, Xiaohan Li, Jian Zhang |
Design and Implementation of C# Minesweeper Game Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIA (2) ![In: Cyber Security Intelligence and Analytics - 2021 International Conference on Cyber Security Intelligence and Analytics (CSIA 2021), Shenyang, China, 19-20 March, 2021, Volume 2, pp. 795-799, 2021, Springer, 978-3-030-69998-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: 28th International Conference on Telecommunications, ICT 2021, London, United Kingdom, June 1-3, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-1376-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Ross Dempsey, Charles Guinn |
A Phase Transition in Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUN ![In: 10th International Conference on Fun with Algorithms, FUN 2021, May 30 to June 1, 2021, Favignana Island, Sicily, Italy., pp. 12:1-12:10, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-145-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Eryk Kopczynski |
Hyperbolic Minesweeper Is in P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUN ![In: 10th International Conference on Fun with Algorithms, FUN 2021, May 30 to June 1, 2021, Favignana Island, Sicily, Italy., pp. 18:1-18:7, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-145-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
27 | Ross Dempsey, Charles Guinn |
A Phase Transition in Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.04116, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Igor Q. Lordeiro, Douglas de O. Cardoso |
Multi-Armed Bandits for Minesweeper: Profiting from Exploration-Exploitation Synergy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.12824, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Eryk Kopczynski |
Hyperbolic Minesweeper is in P. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.09534, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
27 | Carl L. Colena, Michael J. Russell, Stephen A. Braun |
Minesweeper: A Novel and Fast Ordered-Statistic CFAR Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPEC ![In: 2020 IEEE High Performance Extreme Computing Conference, HPEC 2020, Waltham, MA, USA, September 22-24, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9219-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
27 | Yimin Tang, Tian Jiang, Yanpeng Hu |
A Minesweeper Solver Using Logic Inference, CSP and Sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.03151, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 1714-1730, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Serge Gaspers, Stefan Rümmele, Abdallah Saffidine, Kevin Tran |
Minesweeper with Limited Moves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana, USA, February 2-7, 2018, pp. 860-867, 2018, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
27 | Susmita Mahato, Dilip Kumar Yadav, Danish Ali Khan |
A minesweeper game-based steganography scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 32, pp. 1-14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
27 | Jinzheng Tu 0001, Tianhong Li, Shiteng Chen, Chong Zu, Zhaoquan Gu |
Exploring Efficient Strategies for Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Workshops ![In: The Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, Saturday, February 4-9, 2017, San Francisco, California, USA, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
27 | Seunghoon Lee |
A Short Note on Improved Logic Circuits in a Hexagonal Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.00398, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
27 | Shahar Golan |
Minesweeper strategy for one mine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 232, pp. 292-302, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
27 | Jirí Vomlel, Petr Tichavský |
An Approximate Tensor-Based Inference Method Applied to the Game of Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Probabilistic Graphical Models ![In: Probabilistic Graphical Models - 7th European Workshop, PGM 2014, Utrecht, The Netherlands, September 17-19, 2014. Proceedings, pp. 535-550, 2014, Springer, 978-3-319-11432-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14, Snowbird, UT, USA, June 22-27, 2014, pp. 234-245, 2014, ACM, 978-1-4503-2375-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MUE ![In: Multimedia and Ubiquitous Engineering, MUE 2013, May 9-11, 2013, Seoul, Korea., pp. 227-233, 2013, Springer, 978-94-007-6737-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Michiel de Bondt |
The computational complexity of Minesweeper ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1204.4659, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
27 | Michèle Sebag, Olivier Teytaud |
Upper Confidence Tree-Based Consistent Reactive Planning Application to MineSweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LION ![In: Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers, pp. 220-234, 2012, Springer, 978-3-642-34412-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Nicolas Mendoza R., Pablo A. Figueroa |
Hand controlled 3D minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: 2012 XXXVIII Conferencia Latinoamericana En Informatica (CLEI), Medellin, Colombia, October 1-5, 2012, pp. 1-5, 2012, IEEE, 978-1-4673-0794-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
27 | Shahar Golan |
Minesweeper on graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 217(14), pp. 6616-6623, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
27 | Martin J. Chlond |
Puzzle - Minesweeper Puzzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS Trans. Educ. ![In: INFORMS Trans. Educ. 11(2), pp. 90-91, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
27 | Karima B. Hein, Reinhold Weiss |
Minesweeper for Sensor Networks-Making Event Detection in Sensor Networks Dependable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (1) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 388-393, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Oleg German, Evgeny Lakshtanov |
"Minesweeper" without a computer ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.3480, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
27 | Kenneth M. Bayer, Josh Snyder, Berthe Y. Choueiry |
An Interactive Constraint-Based Approach to Minesweeper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, pp. 1933-1934, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
27 | Lourdes Peña Castillo, Stefan Wrobel |
Learning Minesweeper with Multirelational Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003, pp. 533-540, 2003, Morgan Kaufmann. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
27 | Elchanan Mossel |
The Minesweeper Game: Percolation And Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. Probab. Comput. ![In: Comb. Probab. Comput. 11(5), pp. 487-499, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Albrecht Schmidt 0001 |
Engineering interactive ubiquitous computing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 3rd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2011, Pisa, Italy, June 13-16, 2011, pp. 229-230, 2011, ACM, 978-1-4503-0670-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Jim Maurer |
What's on your hard drive? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Queue ![In: ACM Queue 3(7), pp. 10, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Meghan Revelle, Tiffany Broadbent, David Coppit |
Understanding Concerns in Software: Insights Gained from Two Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 13th International Workshop on Program Comprehension (IWPC 2005), 15-16 May 2005, St. Louis, MO, USA, pp. 23-32, 2005, IEEE Computer Society, 0-7695-2254-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Mark A. Holliday |
Incremental game development in an introductory programming course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 33th Annual Southeast Regional Conference, 1995, Clemson, South Carolina, USA, March 17-18, 1995, pp. 170-175, 1995, ACM, 978-0-89791-747-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|