SAT-Web: a web-based educational SAT visualisation tool

Madgwick, J. and Lester, M. ORCID: https://orcid.org/0000-0002-2323-1771 (2025) SAT-Web: a web-based educational SAT visualisation tool. In: Pragmatics of SAT 2025, 11th Aug 2025, Glasgow, United Kingdom.

Abstract/Summary

Provision of tools for explaining SAT solvers and visualising SAT instances helps to facilitate easier entry to the field for newcomers, yet this remains an under-explored area. In this tool paper we present SAT-Web, a web-based educational tool for explaining SAT solving, and the first tool of its kind which can be used entirely from a web-browser. Our tool provides visualisations with search trees and variable interaction graphs, and includes a DPLL solver with tracing. We explain the design, techniques and implementation details behind the tool. We also review approaches and tools for instance visualisation and existing pedagogical tools designed to explain solvers. Finally, we discuss potential future improvements and opportunities for SAT visualisation and pedagogical tools.

Item Type	Conference or Workshop Item (Paper)
URI	https://centaur.reading.ac.uk/id/eprint/124502
Refereed	Yes
Divisions	Science > School of Mathematical, Physical and Computational Sciences > Department of Computer Science
Uncontrolled Keywords	SAT, visualisation, pedagogical tools, explaining solving, web-based tools
Download/View statistics	View download statistics for this item