• Gurobi

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

  • Referenced in 227 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 243 articles [sw14902]
  • work” is based on the user-defined ground distance which is the distance between...
  • ASSAT

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

  • Referenced in 104 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...
  • PASCAL VOC

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

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

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

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

  • Referenced in 53 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 64 articles [sw07705]
  • solver while enabling reduction of any ground term. Since no significant search is performed...
  • NDSPMHD

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

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

  • Referenced in 53 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...
  • BrainWeb

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

  • Referenced in 46 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...
  • KITTI

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

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