
SMCHR
 Referenced in 2 articles
[sw09322]
 satisfiability modulo constraint handling rules. Constraint handling rules (CHRs) are a highlevel rulebased ... constraint solvers. CHR manipulates a global store representing a flat conjunction of constraints. By default ... this paper we introduce satisfiability modulo constraint handling rules (SMCHR): a tight integration ... propositional structure. SMCHR is essentially a satisfiability modulo theories (SMT) solver where the theory...

Maple
 Referenced in 5124 articles
[sw00545]
 The result of over 30 years of cutting...

Mathematica
 Referenced in 5957 articles
[sw00554]
 Almost any workflow involves computing results, and that...

SCIP
 Referenced in 472 articles
[sw01091]
 SCIP is currently one of the fastest non...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

PVS
 Referenced in 620 articles
[sw03484]
 PVS is a verification system: that is, a...

CPLEX
 Referenced in 2583 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

Smodels
 Referenced in 238 articles
[sw04631]
 The Smodels system is an Answer Set Programming...

GAMS
 Referenced in 842 articles
[sw04978]
 The General Algebraic Modeling System (GAMS) is specifically...

Cadmium
 Referenced in 4 articles
[sw06507]
 Cadmium: an implementation of ACD term rewriting. Cadmium...

BProlog
 Referenced in 17 articles
[sw06949]
 BProlog is a highperformance implementation of...

Scala
 Referenced in 85 articles
[sw07180]
 Steps in Scala. An introduction to objectfunctional...

OEIS
 Referenced in 3479 articles
[sw07248]
 The OnLine Encyclopedia of Integer Sequence. The...

Predator
 Referenced in 17 articles
[sw07396]
 Predator: a tool for verification of lowlevel...

VeriFast
 Referenced in 57 articles
[sw07705]
 The VeriFast program verifier. This note describes a...

LLBMC
 Referenced in 15 articles
[sw09478]
 LLBMC: improved bounded model checking of C programs...

SLAyer
 Referenced in 19 articles
[sw09712]
 SLAyer: Memory Safety for SystemsLevel Code. SLAyer...

Smallfoot
 Referenced in 52 articles
[sw09787]
 Smallfoot: Modular automatic assertion checking with separation logic...