
Bloqqer
 Referenced in 30 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...

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

GNMT
 Referenced in 27 articles
[sw26579]
 deep LSTM network with 8 encoder and 8 decoder layers using attention and residual connections ... decoder to the top layer of the encoder. To accelerate the final translation speed...

Beluga
 Referenced in 26 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...

RandNLA
 Referenced in 22 articles
[sw41749]
 applied mathematics. An m × n matrix can encode information about m objects (each described ... positivedefinite matrix can encode the correlations between all pairs of n objects...

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

InsEnc
 Referenced in 21 articles
[sw06181]
 INSENC: This package accompanies ”Finding regular insertion encodings for permutation classes”. In that paper ... permutations has a regular insertion encoding (which INSENC will determine as soon as you type...

Cayenne
 Referenced in 29 articles
[sw09686]
 suffice. It is also powerful enough to encode predicate logic at the type level, allowing...

Sugar
 Referenced in 27 articles
[sw09758]
 Constraint Solver. Constraint Satisfaction Problem (CSP) is encoded to a Boolean CNF formula...

FPINNs
 Referenced in 27 articles
[sw40570]
 neural networks (NNs) with the PDEs explicitly encoded into the NN using automatic differentiation, while...

CSPprover
 Referenced in 16 articles
[sw11465]
 well as the semantics of CSP is encoded, i.e., CSPProver provides a deep encoding ... large parts of the encoding for other CSP models. For instance, merely...

HOLyHammer
 Referenced in 26 articles
[sw11553]
 AI/ATP service for formal (computerunderstandable) mathematics encoded in the HOL Light system. The service...

MOPS
 Referenced in 23 articles
[sw10117]
 identify rules of safe programming practice, encode them as safety properties, and verify whether these...

Binder
 Referenced in 15 articles
[sw26750]
 distributed system. Most existing securitylanguages encode security statements as schematized data structures,such as ACLs ... openlogicbased security language that encodes security statements ascomponents of communicating distributed logic programs. Binder...

CCLS
 Referenced in 20 articles
[sw36049]
 extensive applications. Weighted MAXSAT instances encoded from realworld applications may be very large...

iProtSub
 Referenced in 14 articles
[sw27604]
 accuracy. Features used by iProtSub are encoded by 11 different sequence encoding schemes, including...

SeaHorn
 Referenced in 19 articles
[sw18274]
 semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise...

dReach
 Referenced in 19 articles
[sw20164]
 analysis tool for nonlinear hybrid systems. It encodes reachability problems of hybrid systems to first...

FFmpeg
 Referenced in 19 articles
[sw21457]
 leading multimedia framework, able to decode, encode, transcode, mux, demux, stream, filter and play pretty...

VAMPnets
 Referenced in 19 articles
[sw32927]
 using neural networks, dubbed VAMPnets. A VAMPnet encodes the entire mapping from molecular coordinates...