C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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