Automated Puzzle Solving

DOI10.3166/jancl.12.99-116zbMath1185.03009OpenAlexW2095049628MaRDI QIDQ3647313

László Aszalós

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.99-116

zbMATH Keywords

automated theorem provingtableau methodknight-knave puzzles

Mathematics Subject Classification ID

Uses Software

• TPTP

Cites Work

• The TPTP problem library. CNF release v1. 2. 1
• A general method of solving Smullyan’s puzzles
• Unnamed Item
• Unnamed Item

This page was built for publication: Automated Puzzle Solving