
Gurobi
 Referenced in 533 articles
[sw04105]
 Gurobi Optimizer were designed from the ground up to exploit modern architectures and multicore...

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 userdefined 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...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 soil mechanics, optics of liquid crystals, groundwater 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...

MODFLOW2000
 Referenced in 32 articles
[sw10877]
 USGS GroundWater Software: MODular threedimensional finitedifference groundwater FLOW model2000 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...