@inproceedings{BalyoHJ:AAAI2017,
 author = {Tom\'a\v{s} Balyo and Marijn J.H. Heule and Matti J\"arvisalo},
 title = {Complexity Results and Algorithms for Extension Enforcement in 
          Abstract Argumentation},
 booktitle = {Proceedings of the 31st AAAI Conference on 
              Artificial Intelligence (AAAI 2017)},
 editor = {Satinder P. Singh and Shaul Markovitch},
 pages = {5061--5063},
 publisher = {AAAI Press},
 year = {2017},
}

Abstract:


We give an overview of SAT Competition 2016, the 2016 edition of the 
famous competition for Boolean satisfiability (SAT) solvers with over 
20 years of history. A key aim is to point out "what's hot" in SAT 
competitions in 2016, i.e., new developments in the competition series, 
including new competition tracks and new solver techniques implemented 
in some of the award-winning solvers.