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

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

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

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

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

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

CUBIC
 Referenced in 11 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...

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

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

MIN3P
 Referenced in 6 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...

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

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

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

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

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

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

AUTO2
 Referenced in 6 articles
[sw17595]
 AUTO2, A saturationbased heuristic prover for higherorder logic. We introduce a new theorem...