• CPCES

  • Referenced in 2 articles [sw34332]
  • CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement ... planner for the problem of deterministic conformant planning. cpces solves the problem by producing candidate ... examples to the sample, until a valid plan has been produced or the problem ... providing a means to compute a conformant plan, the sample can also be understood...
  • GI-log

  • Referenced in 3 articles [sw28522]
  • formalizing contextual reasoning, conformant planning with threshold, and modeling a graph problem...
  • ESmodels

  • Referenced in 1 article [sw31010]
  • discuss possible applications of ESmodels in conformant planning and constraint satisfaction. Finally, we conclude with...
  • PISA

  • Referenced in 1 article [sw20692]
  • method based on the compilation to conformant probabilistic planning is much intuitive, its performance appears...
  • PPlan

  • Referenced in 2 articles [sw20685]
  • plan that not only achieves a user-defined goal, but that also conforms, where possible...
  • conformalClassification

  • Referenced in 1 article [sw23838]
  • each class are considered as the conformity scores for each data point. Although the main ... calibration plots. In future releases, we plan to extend the package to use other machine...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LGO

  • Referenced in 96 articles [sw00516]
  • The program system LGO serves to solve global...
  • Macaulay2

  • Referenced in 1923 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 566 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...