Annika Vielsack, Beatrice Deutschmann. Exploring Satisfiability - Bringing Theoretical Informatics to Schools. In J. Ángel Velázquez-Iturbide, Jaime Urquiza-Fuentes, Quintin I. Cutts, Keith Quille, Stephen Cooper, editors, Proceedings of the 31st ACM Conference on Innovation and Technology in Computer Science Education V. 1, ITiCSE 2026, MadridSpain, July 10-15, 2026. pages 478-484, ACM, 2026. [doi]
No references recorded for this publication.
No citations of this publication recorded.