Sven Baumer

According to our database, Sven Baumer authored at least 4 papers between 2001 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Artificial Intelligence in Compulsory K-12 Computer Science Classrooms: A Scalable Professional Development Offer for Computer Science Teachers.

Franz Jetzinger, Sven Baumer, Tilman Michaeli

Proceedings of the 55th ACM Technical Symposium on Computer Science Education, 2024

2023

Künstliche Intelligenz im verpflichtenden Informatikunterricht: Ein skalierbares Fortbildungsangebot für Informatikehrkräfte.

Sven Baumer, Franz Jetzinger, Tilman Michaeli

Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

2003

Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs

Sven Baumer, Rainer Schuler

Electron. Colloquium Comput. Complex., 2003

2001

Minimally Unsatisfiable CNF Formulas.

Sven Baumer, Juan Luis Esteban, Jacobo Torán

Bull. EATCS, 2001