
Metis_
 Referenced in 53 articles
[sw04439]
 simple rules. Outputs saturated clause sets when input problems are discovered to be unprovable...

iProver
 Referenced in 49 articles
[sw09707]
 indexing, redundancy elimination, semantic selection and saturation algorithms. Redundancy elimination implemented in iProver include: dismatching...

HYDROGEOCHEM
 Referenced in 30 articles
[sw07828]
 Thermal Transport, and HYDROGEOCHEMical Transport through Variably Saturated Conditions The computer program HYDROGEOCHEM...

PHREEQC
 Referenced in 21 articles
[sw07853]
 PHREEQC has capabilities for (1) speciation and saturationindex calculations; (2) batchreaction...

HYDRUS
 Referenced in 20 articles
[sw08107]
 movement in two and threedimensional variably saturated media. The software package consists...

CUBIC
 Referenced in 13 articles
[sw21235]
 when the window is far from the saturation point, and the slowly when ... close to the saturation point. This feature allows CUBIC to be very scalable when...

Saturate
 Referenced in 10 articles
[sw21351]
 Saturate System. The Saturate system is an experimental theorem prover for firstorder logic, primarily ... based on saturation...

Akiss
 Referenced in 13 articles
[sw20605]
 each trace of each process, using a saturation procedure that performs Horn clause resolution with...

MIN3P
 Referenced in 9 articles
[sw11519]
 MIN3P: Multicomponent reactive transport modeling in variably saturated porous media. MIN3P is a general purpose ... flow and reactive transport code for variably saturated media providing a high degree of flexibility...

AWAST
 Referenced in 11 articles
[sw14906]
 recent analysis and synthesis results dedicated to saturated systems...

DRUtES
 Referenced in 9 articles
[sw06595]
 equations describing Darcian flow in a variably saturated porous mediuma classical Richards’ equation model...

StronglyStableIdeals
 Referenced in 9 articles
[sw27084]
 method to compute the set of all saturated strongly stable ideals in a given polynomial...

libDDD
 Referenced in 8 articles
[sw04096]
 description with SDD; Automatic support for saturation style algorithms; A priori unbounded integer domain variables...

iProverEq
 Referenced in 8 articles
[sw09452]
 solver. The firstorder reasoning employs a saturation algorithm making use of redundancy elimination...

ParFlow
 Referenced in 8 articles
[sw19044]
 ParFlow is a parallel, threedimensional, variably saturated groundwater flow code that is especially suitable...

JOREK
 Referenced in 7 articles
[sw13477]
 with respect to numerical errors in the saturation phase of an instability and allows...

GlobalAncova
 Referenced in 7 articles
[sw30019]
 rather robust. ANCOVA with interaction yields saturated data modelling e.g. different means per group...

Varun
 Referenced in 4 articles
[sw13191]
 VARUN: Discovering Extensible Motifs under Saturation Constraints. The discovery of motifs in biosequences is frequently ... shown that a combination of appropriate saturation conditions and the monotonicity of probabilistic scores over ... would be obtained in the absence of saturation constraints...

DSSZMC
 Referenced in 6 articles
[sw01360]
 Interval Decision Diagrams. The main features are saturationbased state space generation, analysis of strongly...

EPCBC
 Referenced in 6 articles
[sw11640]
 resistance of EPCBC against integral cryptanalysis, statistical saturation attack, slide attack, algebraic attack...