Login / Signup
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
Thomas Linsbichler
Marco Maratea
Andreas Niskanen
Johannes Peter Wallner
Stefan Woltran
Published in:
IJCAI (2018)
Keyphrases
</>
complexity analysis
sat solving
theoretical analysis
computational complexity
orders of magnitude
learning algorithm
lower bound
genetic algorithm
data structure
special case
optimization problems
first order logic