• 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 first-order logic, primarily ... based on saturation...
  • PHREEQC

  • Referenced in 18 articles [sw07853]
  • PHREEQC has capabilities for (1) speciation and saturation-index calculations; (2) batch-reaction...
  • HYDRUS

  • Referenced in 16 articles [sw08107]
  • movement in two- and three-dimensional 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...
  • iProver-Eq

  • Referenced in 8 articles [sw09452]
  • solver. The first-order 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 medium-a classical Richards’ equation model...
  • ParFlow

  • Referenced in 7 articles [sw19044]
  • ParFlow is a parallel, three-dimensional, variably saturated groundwater flow code that is especially suitable...
  • 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...
  • DSSZ-MC

  • Referenced in 6 articles [sw01360]
  • Interval Decision Diagrams. The main features are saturation-based 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 saturation-based heuristic prover for higher-order logic. We introduce a new theorem...