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
Mahmood Y, Meier A. Parameterised complexity of model checking and satisfiability in propositional dependence logic. Annals of Mathematics and Artificial Intelligence. 2021;90(2-3):271-296. doi:10.1007/s10472-021-09730-w
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 48889
Mersmann O, Bischl B, Trautmann H, Wagner M, Bossek J, Neumann F. A Novel Feature-Based Approach to Characterize Algorithm Performance for the Traveling Salesperson Problem. Annals of Mathematics and Artificial Intelligence. 2013;69(2):151–182. doi:10.1007/s10472-013-9341-2
LibreCat
| DOI