• Apriori

  • Referenced in 23 articles [sw40322]
  • Srikant 1994], which carries out a breadth first search on the subset lattice and determines...
  • STXXL

  • Referenced in 18 articles [sw06824]
  • computing minimum spanning trees, connected components, breadth-first search decompositions, constructing suffix arrays, and computing...
  • Murphi

  • Referenced in 16 articles [sw22149]
  • performed as a depth-first or breadth-first search of the state space. States encountered...
  • MOCHA

  • Referenced in 4 articles [sw08579]
  • optimal. We also present a modified breadth-first-search heuristic that uses adjacency to enumerate...
  • GSPeeDI

  • Referenced in 2 articles [sw00394]
  • GSPeeDI is based on a breadth-first search algorithm, and it can handle more general...
  • Graphulo

  • Referenced in 2 articles [sw17030]
  • GraphBLAS spec. Example algorithms include Breadth First Search, finding a k-Truss subgraph, computing Jaccard...
  • Rigel

  • Referenced in 2 articles [sw40556]
  • compute using traditional algorithms such as breadth-first-search (BFS). In this paper, we study...
  • Elixir

  • Referenced in 2 articles [sw25435]
  • parallel implementations for three irregular problems: breadth-first search, single source shortest path, and betweenness...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LEDA

  • Referenced in 263 articles [sw00509]
  • In the core computer science areas -- data structures...
  • Magma

  • Referenced in 3315 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • TSPLIB

  • Referenced in 698 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • GraphBase

  • Referenced in 135 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Pajek

  • Referenced in 154 articles [sw03707]
  • Pajek -- analysis and visualization of large networks. Pajek...