• clasp

  • Referenced in 90 articles [sw07095]
  • technique that proved very successful for satisfiability checking (SAT). Unlike other learning ASP solvers, clasp...
  • Quaffle

  • Referenced in 64 articles [sw07278]
  • Conflicts And Satisfaction in Quantified Boolean Satisfiability Solver”, Proceedings of 8th International Conference on Principles ... Conflict Driven Learning in a Quantified Boolean Satisfiability Solver”, Proceedings of International Conference on Computer...
  • cvc3

  • Referenced in 85 articles [sw04886]
  • CVC3 is an automatic theorem prover for Satisfiability Modulo Theories (SMT) problems. CVC3...
  • ORTHPOL

  • Referenced in 79 articles [sw00659]
  • coefficients in the three-term recurrence relation satisfied by the orthogonal polynomials. Once these...
  • CCalc

  • Referenced in 75 articles [sw09899]
  • logic programming. Computationally, CCalc uses ideas of satisfiability planning. (A related system, Cplus2ASP from Arizona...
  • SATIRE

  • Referenced in 38 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce SATIRE, a new satisfiability solver that ... builds on the most recent advances in satisfiability research, and includes two new features ... effectiveness of these additions to classical satisfiability solver...
  • ProVerif

  • Referenced in 41 articles [sw06558]
  • claims that the protocol satisfies some property, then the property is actually satisfied. With Andreas...
  • TIGRA

  • Referenced in 40 articles [sw02333]
  • regularization parameter and a parameter iteration for satisfying a discrepancy criterion in an outer loop ... where the assumptions of the paper are satisfied...
  • Healpix

  • Referenced in 53 articles [sw08860]
  • sphere. We demonstrate how these are explicitly satisfied by HEALPix...
  • sobol.cc

  • Referenced in 51 articles [sw36024]
  • direction numbers given generate Sobol’ sequences that satisfy Sobol’s so-called Property...
  • QUBE

  • Referenced in 29 articles [sw11381]
  • System for Deciding Quantified Boolean Formulas Satisfiability. Deciding the satisfiability of a Quantified Boolean Formula ... mapped into the problem of deciding the satisfiability of a QBF. In this paper ... present QuBE, a system for deciding QBFs satisfiability. We start our presentation in § 2 with...
  • Satallax

  • Referenced in 50 articles [sw06849]
  • calculus and calls MiniSat periodically to test satisfiability of these clauses. Satallax is implemented...
  • HolonomicFunctions

  • Referenced in 48 articles [sw06666]
  • mixed linear equations that a given function satisfies. Summation and integration of multivariate holonomic functions...
  • RanGen

  • Referenced in 47 articles [sw14333]
  • objective is to construct random networks which satisfy preset values of the parameters used...
  • TRICE

  • Referenced in 46 articles [sw05197]
  • shown to have a limit point satisfying the second-order necessary KKT conditions. The local...
  • iPiano

  • Referenced in 46 articles [sw09623]
  • proved, and then iPiano is shown to satisfy the requirements of this theorem. Furthermore...
  • SAMRAI

  • Referenced in 45 articles [sw04441]
  • extension of existing framework components to satisfy new application needs...
  • ADMiRA

  • Referenced in 31 articles [sw31664]
  • rank then provides the minimum rank solution satisfying a prescribed data approximation bound. We propose ... that, although the R-RIP is not satisfied in this case, ADMiRA is a competitive...
  • ROS3P

  • Referenced in 42 articles [sw00813]
  • equations, additional order conditions have to be satisfied. Although these conditions have been known...