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

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

CXSC 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 highlevel language and interactive...

MiniSat
 Referenced in 536 articles
[sw00577]
 An extensible SATsolver. 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 threadsafe, high...