Login / Signup

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.

Thomas LinsbichlerMarco MarateaAndreas NiskanenJohannes Peter WallnerStefan Woltran
Published in: Artif. Intell. (2022)
Keyphrases
  • complexity analysis
  • sat solving
  • theoretical analysis
  • learning algorithm
  • computational complexity
  • optimization problems
  • search algorithm
  • machine learning
  • data structure
  • special case
  • orders of magnitude