Login / Signup
Sven Baumer
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 2
Top Topics
Artificial Intelligence
High School
Professional Development
Top Venues
SIGCSE (1)
GI-Jahrestagung
</>
Publications
</>
Franz Jetzinger
,
Sven Baumer
,
Tilman Michaeli
Artificial Intelligence in Compulsory K-12 Computer Science Classrooms: A Scalable Professional Development Offer for Computer Science Teachers.
SIGCSE (1)
(2024)
Sven Baumer
,
Franz Jetzinger
,
Tilman Michaeli
Künstliche Intelligenz im verpflichtenden Informatikunterricht: Ein skalierbares Fortbildungsangebot für Informatikehrkräfte.
GI-Jahrestagung
(2023)
Sven Baumer
,
Rainer Schuler
Improving a Probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs.
SAT
(2003)
Sven Baumer
,
Rainer Schuler
Improving a probabilistic 3-SAT Algorithm by Dynamic Search and Independent Clause Pairs
Electron. Colloquium Comput. Complex.
10 (010) (2003)