DIMACS
The DIMACS Implementation Challenges address questions of determining realistic algorithm performance where worst case analysis is overly pessimistic and probabilistic models are too unrealistic: experimentation can provide guides to realistic algorithm performance where analysis fails. Experimentation also brings algorithmic questions closer to the original problems that motivated theoretical work. It also tests many assumptions about implementation methods and data structures. It provides an opportunity to develop and test problem instances, instance generators, and other methods of testing and comparing performance of algorithms. And it is a step in technology transfer by providing leading edge implementations of algorithms for others to adapt. The information on challenges includes pointers to WWW/FTP sites that include calls for participation, algorithm implementations, instance generators, bibliographies, and other electronic artifacts. The challenge organizers are also producing refereed volumes in the AMS-DIMACS book series; these contain selected papers from the workshops that culminate each challenge. If you are using the implementations, generators or other files, please take a few minutes to tell us how you are using it, what applications you are working on, and how it impacts your work. We need to document the impact of this research to the agencies and foundations that support it - your stories are essential to doing that. Send comments to: froberts@dimacs.rutgers.edu
Keywords for this software
References in zbMATH (referenced in 493 articles )
Showing results 1 to 20 of 493.
Sorted by year (- Bettiol, Enrico; Létocart, Lucas; Rinaldi, Francesco; Traversi, Emiliano: A conjugate direction based simplicial decomposition framework for solving a specific class of dense convex quadratic programs (2020)
- Georgiadis, Loukas; Italiano, Giuseppe F.; Karanasiou, Aikaterini: Approximating the smallest 2-vertex connected spanning subgraph of a directed graph (2020)
- Goerigk, Marc; Maher, Stephen J.: Generating hard instances for robust combinatorial optimization (2020)
- Gouveia, João; Pong, Ting Kei; Saee, Mina: Inner approximating the completely positive cone via the cone of scaled diagonally dominant matrices (2020)
- Grodet, Aymeric; Tsuchiya, Takuya: Reorganizing topologies of Steiner trees to accelerate their eliminations (2020)
- Sun, Defeng; Toh, Kim-Chuan; Yuan, Yancheng; Zhao, Xin-Yuan: SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0) (2020)
- Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao: SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem (2020)
- Anderson, Matthew; Williamson, Matthew; Subramani, K.: Empirical analysis of algorithms for the shortest negative cost cycle problem (2019)
- Asadi, Soodabeh; Mansouri, Hossein; Darvay, Zsolt; Zangiabadi, Maryam; Mahdavi-Amiri, Nezam: Large-neighborhood infeasible predictor-corrector algorithm for horizontal linear complementarity problems over Cartesian product of symmetric cones (2019)
- Cornaz, Denis; Furini, Fabio; Lacroix, Mathieu; Malaguti, Enrico; Mahjoub, A. Ridha; Martin, Sébastien: The vertex (k)-cut problem (2019)
- Džamić, Dušan; Aloise, Daniel; Mladenović, Nenad: Ascent-descent variable neighborhood decomposition search for community detection by modularity maximization (2019)
- Feldmann, Andreas Emil: Fixed-parameter approximations for (k)-center problems in low highway dimension graphs (2019)
- Furini, Fabio; Ljubić, Ivana; Martin, Sébastien; San Segundo, Pablo: The maximum clique interdiction problem (2019)
- Hosseinian, Seyedmohammadhossein; Butenko, Sergiy: Algorithms for the generalized independent set problem based on a quadratic optimization approach (2019)
- Jabrayilov, Adalat; Mutzel, Petra: A new integer linear program for the Steiner tree problem with revenues, budget and hop constraints (2019)
- Komusiewicz, Christian; Nichterlein, André; Niedermeier, Rolf; Picker, Marten: Exact algorithms for finding well-connected 2-clubs in sparse real-world graphs: theory and experiments (2019)
- Lammich, Peter; Sefidgar, S. Reza: Formalizing network flow algorithms: a refinement approach in Isabelle/HOL (2019)
- Lin, Weibo; Xiao, Mingyu; Zhou, Yi; Guo, Zhenyu: Computing lower bounds for minimum sum coloring and optimum cost chromatic partition (2019)
- Matsypura, Dmytro; Veremyev, Alexander; Prokopyev, Oleg A.; Pasiliao, Eduardo L.: On exact solution approaches for the longest induced path problem (2019)
- Parmentier, Axel: Algorithms for non-linear and stochastic resource constrained shortest path (2019)