Sergej Scheck

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 2

Top Topics

Constraint Satisfaction

Prime Implicates

Knowledge Compilation

Top Venues

Publications

Sergej Scheck, Alexandre Niveau, Bruno Zanuttini
A KC Map for Variants of Nondeterministic PDDL. JIAF (2022)
Sergej Scheck, Alexandre Niveau, Bruno Zanuttini
Knowledge Compilation for Nondeterministic Action Languages. ICAPS (2021)