
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. Lfunctions arise from and encode information about a number of mathematical objects...

PCASIFT
 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 localeaware for sorting...

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

PLAPACK
 Referenced in 61 articles
[sw04268]
 engineers to exploit a natural approach to encoding socalled 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 bestknown electronically encoded database of the genetic regulatory network...

CPAchecker
 Referenced in 48 articles
[sw07408]
 predicate analysis with adjustableblock encoding and CEGAR...

MMT
 Referenced in 46 articles
[sw07136]
 development of Mathematical Theories. MMT permits to encode mathematical knowledge in a logicneutral 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 captureavoiding 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...