• Smodels

  • Referenced in 238 articles [sw04631]
  • basic idea of ASP is to encode the constraints of a problem as a logic...
  • LMFDB

  • Referenced in 100 articles [sw07249]
  • Dyer Conjecture. L-functions arise from and encode information about a number of mathematical objects...
  • PCA-SIFT

  • Referenced in 77 articles [sw04592]
  • used by SIFT. Like SIFT, our descriptors encode the salient aspects of the image gradient...
  • Edgebreaker

  • Referenced in 53 articles [sw04117]
  • that are homeomorphic to a sphere, Edgebreaker encodes these two tables with less than ... bits per triangle for the connectivity. Entropy encoding reduces this cost in practice to less...
  • PostgreSQL

  • Referenced in 69 articles [sw15935]
  • supports international character sets, multibyte character encodings, Unicode, and it is locale-aware for sorting...
  • Racer

  • Referenced in 65 articles [sw09837]
  • Lispworks, for which also (setf asdf::*default-encoding* :default) should be evaluated. Racer is distributed...
  • PLAPACK

  • Referenced in 61 articles [sw04268]
  • engineers to exploit a natural approach to encoding so-called blocked algorithms, which achieve high...
  • SDPLIB

  • Referenced in 60 articles [sw00838]
  • contain a total of 92 SDP problems encoded in a standard format. It is hoped...
  • Clingo

  • Referenced in 55 articles [sw09893]
  • recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version...
  • COWS

  • Referenced in 50 articles [sw06955]
  • graphs, fault and compensation handlers, and for encoding other process and orchestration languages...
  • Abella

  • Referenced in 49 articles [sw09461]
  • specification logic which supports a transparent encoding of structural semantics rules and also enables their...
  • RegulonDB

  • Referenced in 49 articles [sw25948]
  • coli K12, currently the best-known electronically encoded database of the genetic regulatory network...
  • CPAchecker

  • Referenced in 48 articles [sw07408]
  • predicate analysis with adjustable-block encoding and CEGAR...
  • MMT

  • Referenced in 46 articles [sw07136]
  • development of Mathematical Theories. MMT permits to encode mathematical knowledge in a logic-neutral representation...
  • MPTP 0.2

  • Referenced in 43 articles [sw02589]
  • Mizar proofs are now exported and also encoded in the extended TPTP syntax, allowing...
  • CRYPTIM

  • Referenced in 28 articles [sw02442]
  • break the key, i.e. to guess the encoding walk. In fact the quality is good ... affine type whose vertices (messages) and walks (encoding tools) could be both naturally identified with...
  • Bloqqer

  • Referenced in 27 articles [sw09578]
  • formulas (QBF) provide a powerful framework for encoding problems from various application domains, not least ... represented. However, the translation to processable QBF encodings is in general not unique...
  • Beluga

  • Referenced in 25 articles [sw01321]
  • also for capture-avoiding substitution. While HOAS encodings have played an important role in mechanizing ... been difficult to incorporate HOAS encodings directly into functional programming...
  • Herwig++

  • Referenced in 32 articles [sw10350]
  • allows new models to be added by encoding the Feynman rules of the model...
  • IsaPlanner

  • Referenced in 29 articles [sw02047]
  • interactive theorem prover Isabelle. It facilitates the encoding of reasoning techniques, which can be used...