Fudge: A light-weight solver for abstract argumentation based on SAT
  reductions
  We present Fudge, an abstract argumentation solver that tightly integrates
satisfiability solving technology to solve a series of abstract argumentation
problems. While most of the encodings used by Fudge derive from standard
translation approaches, Fudge makes use of completely novel encodings to solve
the skeptical reasoning problem wrt. preferred semantics and problems wrt.
ideal semantics.
