@inbook{4679577a7e964ebdac162249f6b4b1f3,
title = "Minesweeper is Difficult Indeed!: Technology Scaling for Minesweeper Circuits",
abstract = "Various aspects of playing minesweeper have been proven to be (co-)NP-complete through reductions from circuit-SAT and UNSAT. The proofs use quite involved minesweeper templates to simulate Boolean formulas and circuits. We provide a set of much simpler synthesis templates, leading to much smaller circuit simulations in minesweeper.",
keywords = "Circuit simulation, Complexity, Games",
author = "Alex Thieme and Twan Basten",
year = "2022",
doi = "10.1007/978-3-031-15629-8_25",
language = "English",
isbn = "978-3-031-15628-1",
series = "Lecture Notes in Computer Science (LNCS)",
publisher = "Springer",
pages = "472--490",
booktitle = "A Journey from Process Algebra via Timed Automata to Model Learning",
address = "Germany",
}