@article{AhmadShoaibPrinetto2015,
  author    = {Ahmad, Nadeem and Shoaib, Umar and Prinetto, Paolo},
  title     = {Usability of Online Assistance From Semiliterate Users' Perspective},
  series = {International journal of human computer interaction},
  volume    = {31},
  journal   = {International journal of human computer interaction},
  number    = {1},
  publisher = {Taylor \& Francis Group},
  address   = {Philadelphia},
  issn      = {1044-7318},
  doi       = {10.1080/10447318.2014.925772},
  pages     = {55 -- 64},
  year      = {2015},
  language  = {en}
}
@article{HoosKaminskiLindaueretal.2015,
  author    = {Hoos, Holger and Kaminski, Roland and Lindauer, Marius and Schaub, Torsten H.},
  title     = {aspeed: Solver scheduling via answer set programming},
  series = {Theory and practice of logic programming},
  volume    = {15},
  journal   = {Theory and practice of logic programming},
  publisher = {Cambridge Univ. Press},
  address   = {New York},
  issn      = {1471-0684},
  doi       = {10.1017/S1471068414000015},
  pages     = {117 -- 142},
  year      = {2015},
  abstract  = {Although Boolean Constraint Technology has made tremendous progress over the last decade, the efficacy of state-of-the-art solvers is known to vary considerably across different types of problem instances, and is known to depend strongly on algorithm parameters. This problem was addressed by means of a simple, yet effective approach using handmade, uniform, and unordered schedules of multiple solvers in ppfolio, which showed very impressive performance in the 2011 Satisfiability Testing (SAT) Competition. Inspired by this, we take advantage of the modeling and solving capacities of Answer Set Programming (ASP) to automatically determine more refined, that is, nonuniform and ordered solver schedules from the existing benchmarking data. We begin by formulating the determination of such schedules as multi-criteria optimization problems and provide corresponding ASP encodings. The resulting encodings are easily customizable for different settings, and the computation of optimum schedules can mostly be done in the blink of an eye, even when dealing with large runtime data sets stemming from many solvers on hundreds to thousands of instances. Also, the fact that our approach can be customized easily enabled us to swiftly adapt it to generate parallel schedules for multi-processor machines.},
  language  = {en}
}
@article{AngerKonczakLinke2002,
  author    = {Anger, Christian and Konczak, Kathrin and Linke, Thomas},
  title     = {NoMoRe: Non-monotonic reasoning with logic programs},
  isbn      = {3-540-44190-5},
  year      = {2002},
  language  = {en}
}
@article{Schwill2002,
  author    = {Schwill, Andreas},
  title     = {Modelle in der Fachsprache der Informatik},
  isbn      = {3-88579-351-2},
  year      = {2002},
  language  = {de}
}
@article{LinkeAngerKonczak2002,
  author    = {Linke, Thomas and Anger, Christian and Konczak, Kathrin},
  title     = {More on nomore},
  year      = {2002},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {A comparative study of disjunctive well-founded semantics},
  isbn      = {3-540-42593-4},
  year      = {2001},
  language  = {en}
}
@article{SchaubWang2001,
  author    = {Schaub, Torsten H. and Wang, Kewen},
  title     = {A comparative study of logic programs with preference},
  year      = {2001},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {Disjunctive well-founded semantics revisited},
  year      = {2001},
  language  = {en}
}
@article{Wang2001,
  author    = {Wang, Kewen},
  title     = {A top-down procedure for disjucntive well-founded semantics},
  year      = {2001},
  language  = {en}
}
@article{WangZhou2001,
  author    = {Wang, Kewen and Zhou, Lizhu},
  title     = {An extension to GCWA and query evaluation for disjunctive deductive databases},
  year      = {2001},
  language  = {en}
}