Minimally Unsatisfiable CNF Formulas. - Sven Baumer; Juan Luis Esteban; Jacobo Torán (Bull. EATCS, 2001)

Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs - Sven Baumer; Rainer Schuler (Electron. Colloquium Comput. Complex., 2003)

Künstliche Intelligenz im verpflichtenden Informatikunterricht: Ein skalierbares Fortbildungsangebot für Informatikehrkräfte. - Sven Baumer; Franz Jetzinger; Tilman Michaeli (GI-Jahrestagung, 2023)

Artificial Intelligence in Compulsory K-12 Computer Science Classrooms: A Scalable Professional Development Offer for Computer Science Teachers. - Franz Jetzinger; Sven Baumer; Tilman Michaeli (SIGCSE (1), 2024)