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

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

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

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

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

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

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

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

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

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

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

IPACS
 Referenced in 7 articles
[sw33423]
 flow), a proppant concentration equation, and/or a saturation equation for twophase fracture flow ... viscosity are employed for the proppant and/or saturation equations. A robust and efficient quasimonolithic...

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

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

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

GDINA
 Referenced in 8 articles
[sw18179]
 they subsume. Joint attribute distribution can be saturated, higherorder or structured. Qmatrix validation...

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

olga.lib
 Referenced in 7 articles
[sw22197]
 introduce the notion of the (left) saturation closure and prove that it is a canonical...

ENIGMA
 Referenced in 7 articles
[sw28655]
 method for guiding given clause selection in saturationbased theorem provers. Clauses from many previous...