placeholder image

Neumann, Anke

Person

Positions

University of Potsdam

selected publications

chapter
- clasp: A Conflict-Driven Answer Set Solver. Springer eBooks. 260-265. 2007

full name

Anke Neumann

Publications in VIVO

Co-author Network