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

References in zbMATH (referenced in 387 articles )

Showing results 1 to 20 of 387.
Sorted by year (citations)

1 2 3 ... 18 19 20 next

  1. Abu-Khzam, Faisal N.; Cai, Shaowei; Egan, Judith; Shaw, Peter; Wang, Kai: Turbo-charging dominating set with an FPT subroutine: further improvements and experimental analysis (2017)
  2. Al-Saedi, Balasim; Fourdrinoy, Olivier; Grégoire, Éric; Mazure, Bertrand; Saïs, Lakhdar: About some UP-based polynomial fragments of SAT (2017)
  3. Balasubramaniam, Chitra; Butenko, Sergiy: On robust clusters of minimum cardinality in networks (2017)
  4. Fotakis, Dimitris; Kaporis, Alexis C.; Lianeas, Thanasis; Spirakis, Paul G.: Resolving Braess’s paradox in random networks (2017)
  5. Galán, Severino F.: Simple decentralized graph coloring (2017)
  6. Haus, Utz-Uwe; Michini, Carla: Compact representations of all members of an independence system (2017)
  7. Lamm, Sebastian; Sanders, Peter; Schulz, Christian; Strash, Darren; Werneck, Renato F.: Finding near-optimal independent sets at scale (2017)
  8. Paes, Aline; Zaverucha, Gerson; Costa, Vítor Santos: On the use of stochastic local search techniques to revise first-order logic theories from examples (2017)
  9. Permenter, Frank; Friberg, Henrik A.; Andersen, Erling D.: Solving conic optimization problems via self-dual embedding and facial reduction: A unified approach (2017)
  10. Ras, Charl; Swanepoel, Konrad; Thomas, Doreen Anne: Approximate Euclidean Steiner trees (2017)
  11. Veremyev, Alexander; Prokopyev, Oleg A.; Pasiliao, Eduardo L.: Finding groups with maximum betweenness centrality (2017)
  12. Akiba, Takuya; Iwata, Yoichi: Branch-and-reduce exponential/FPT algorithms in practice: a case study of vertex cover (2016)
  13. Balyo, Tomáš; Biere, Armin; Iser, Markus; Sinz, Carsten: SAT race 2015 (2016)
  14. Bergner, Martin; Lübbecke, Marco E.; Witt, Jonas T.: A branch-price-and-cut algorithm for packing cuts in undirected graphs (2016)
  15. De Santis, M.; Festa, P.; Liuzzi, G.; Lucidi, S.; Rinaldi, F.: A nonmonotone GRASP (2016)
  16. Dibbelt, Julian; Strasser, Ben; Wagner, Dorothea: Customizable contraction hierarchies (2016)
  17. Feldmann, Andreas Emil; Könemann, Jochen; Olver, Neil; Sanità, Laura: On the equivalence of the bidirected and hypergraphic relaxations for Steiner tree (2016)
  18. Fox-Epstein, Eli; Mozes, Shay; Phothilimthana, Phitchaya Mangpo; Sommer, Christian: Short and simple cycle separators in planar graphs (2016)
  19. Friberg, Henrik A.: CBLIB 2014: a benchmark library for conic mixed-integer and continuous optimization (2016)
  20. Furini, Fabio; Gabrel, Virginie; Ternier, Ian-Christopher: Lower bounding techniques for DSATUR-based branch and bound (2016)

1 2 3 ... 18 19 20 next