Exploring Satisfiability - Bringing Theoretical Informatics to Schools.

Annika Vielsack, Beatrice Deutschmann

Browse the full ITiCSE paper archive.