Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.”https://doi.org/10.1007/s10472-021-09730-w__Annals of Mathematics and Artificial Intelligence 90, no. 2–3 (2021): 271–96.https://doi.org/10.1007/s10472-021-09730-w .
LibreCat: /record/45849
DOI: 10.1007/s10472-021-09730-w

Mersmann, Olaf, Bernd Bischl, Heike Trautmann, Markus Wagner, Jakob Bossek, and Frank Neumann. “A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem.”https://doi.org/10.1007/s10472-013-9341-2__Annals of Mathematics and Artificial Intelligence 69, no. 2 (2013): 151–182.https://doi.org/10.1007/s10472-013-9341-2 .
LibreCat: /record/48889
DOI: 10.1007/s10472-013-9341-2