• CPCES

  • Referenced in 1 article [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 2 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 1 article [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...
  • Coq

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 61 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • PARDISO

  • Referenced in 270 articles [sw00679]
  • The package PARDISO is a thread-safe, high...