• Gurobi

  • Referenced in 533 articles [sw04105]
  • Gurobi Optimizer were designed from the ground up to exploit modern architectures and multi-core...
  • Mace4

  • Referenced in 210 articles [sw06905]
  • constructed. The result is a set of ground clauses with equality. Then, a decision procedure ... based on ground equational rewriting is applied. If satisfiability is detected, one or more models...
  • EMD

  • Referenced in 217 articles [sw14902]
  • work” is based on the user-defined ground distance which is the distance between...
  • ASSAT

  • Referenced in 169 articles [sw02524]
  • using SAT solvers. Briefly speaking, given a ground logic program P, ASSAT(X), depending...
  • PASCAL VOC

  • Referenced in 124 articles [sw36507]
  • publicly available dataset of images together with ground truth annotation and standardised evaluation software...
  • PHAVer

  • Referenced in 113 articles [sw04123]
  • HyTech broke new ground as a potentially powerful tool for verifying hybrid systems...
  • Gringo

  • Referenced in 98 articles [sw04630]
  • incremental mode that incorporates both grounding and solving. For one, this document aims at enabling...
  • Clingo

  • Referenced in 66 articles [sw09893]
  • offers more control over the grounding and solving process than gringo and clasp can offer ... individually - e.g., incremental grounding and solving. Clingo comes with its own version of claspD...
  • ProbLog

  • Referenced in 83 articles [sw06945]
  • compute marginal probabilities of any number of ground atoms in the presence of evidence...
  • EFD

  • Referenced in 50 articles [sw04152]
  • given a finite field k (the ground field), an elliptic curve E (with small parameters ... needed to provide an inversion in the ground field. In order to do this ... three inversions in the ground field (typically, an inversion is needed when one wants...
  • VeriFast

  • Referenced in 57 articles [sw07705]
  • solver while enabling reduction of any ground term. Since no significant search is performed...
  • kappalab

  • Referenced in 50 articles [sw06086]
  • minimum distance approach and an unsupervised approach grounded on parametric entropies. The functions contained...
  • ACRITH-XSC

  • Referenced in 49 articles [sw00015]
  • soil mechanics, optics of liquid crystals, ground-water modelling and vibrational mechanics where conventional floating...
  • NDSPMHD

  • Referenced in 45 articles [sw10435]
  • practice. Firstly, we give a basic grounding in the fundamentals of SPH, showing...
  • MODFLOW-2000

  • Referenced in 32 articles [sw10877]
  • USGS Ground-Water Software: MODular three-dimensional finite-difference ground-water FLOW model--2000 updated...
  • LabelMe

  • Referenced in 44 articles [sw36633]
  • build a large collection of images with ground truth labels to be used for object...
  • SystemC

  • Referenced in 41 articles [sw07807]
  • SystemC: From the ground up. SystemC provides a robust set of extensions to C++ that...
  • BrainWeb

  • Referenced in 35 articles [sw16790]
  • lack of reference data (”ground truth”). Also, optimal selection of the MR imaging parameters...
  • KITTI

  • Referenced in 25 articles [sw30418]
  • resolution color and grayscale video cameras. Accurate ground truth is provided by a Velodyne laser...
  • PFLOTRAN

  • Referenced in 24 articles [sw13428]
  • libraries. PFLOTRAN has been developed from the ground up for parallel scalability and has been...