Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2 Publications
2021 | Journal Article | LibreCat-ID: 45849
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Y. Mahmood, A. Meier, Annals of Mathematics and Artificial Intelligence 90 (2021) 271–296.
LibreCat
| DOI
Y. Mahmood, A. Meier, Annals of Mathematics and Artificial Intelligence 90 (2021) 271–296.
2013 | Journal Article | LibreCat-ID: 48889
A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, F. Neumann, Annals of Mathematics and Artificial Intelligence 69 (2013) 151–182.
LibreCat
| DOI
O. Mersmann, B. Bischl, H. Trautmann, M. Wagner, J. Bossek, F. Neumann, Annals of Mathematics and Artificial Intelligence 69 (2013) 151–182.