
Graphplan
 Referenced in 186 articles
[sw07746]
 Graphplan always returns a shortest possible partialorder plan, or states that no valid plan ... totalorder planner, Prodigy, and the partialorder planner, UCPOP, on a variety of interesting...

MUMPS
 Referenced in 541 articles
[sw04013]
 assembled format; distributed assembled format; elemental format; Partial factorization and Schur complement matrix (centralized ... MUMPS: Fortran, C, Matlab and Scilab; Several orderings interfaced: AMD, AMF, PORD, METIS, PARMETIS, SCOTCH...

FPINNs
 Referenced in 49 articles
[sw40570]
 PINNs) are effective in solving integerorder partial differential equations (PDEs) based on scattered ... using both automatic differentiation for the integerorder operators and numerical discretization for the fractional...

TINA
 Referenced in 47 articles
[sw03280]
 combinatorial explosion, relying on socalled partial order techniques such as covering steps and/or persistent...

Hopscotch
 Referenced in 45 articles
[sw00413]
 Hopscotch: a fast second order partial differential equations solver. An idea of Gordon...

UCPOP
 Referenced in 39 articles
[sw20687]
 Lisp source code for the UCPOP partial order planner, version 4.1, is available via anonymous ... explore and refine a partial plan...

PAT
 Referenced in 38 articles
[sw13258]
 techniques are implemented in PAT, e.g. partial order reduction, symmetry reduction, process counter abstraction, parallel...

Rapide
 Referenced in 38 articles
[sw01249]
 simulation of distributed systems by partial orderings of events The Rapide™ Language effort focuses...

FISHPAK
 Referenced in 103 articles
[sw08012]
 subprograms for the solution of separable elliptic partial differential equations. FISHPACK contains a collection ... second and fourthorder finite difference approximations to separable elliptic Partial Differential Equations (PDEs). These...

OFMC
 Referenced in 28 articles
[sw09466]
 lazy intruder with ideas from partialorder reduction. Moreover, OFMC allows one to analyze security...

VipTool
 Referenced in 16 articles
[sw13755]
 Verification of Information systems by evaluating partiallyordered Petri net runs) that was sponsored ... generation and evaluation of partially ordered execution runs (processes) instead of totally ordered sequences ... with causality and concurrency modelled by partially ordered runs of p/tnets. Namely, functionalities for synthesis...

ROS3P
 Referenced in 45 articles
[sw00813]
 when they are applied to partial differential equations, additional order conditions have to be satisfied...

LTSmin
 Referenced in 21 articles
[sw07214]
 language module is in the order of 200–600 lines of C ”glue” code ... memory consumption of symbolic algorithms), partial order reduction and linear temporal logic...

deSolve
 Referenced in 68 articles
[sw04499]
 value problems of ordinary differential equations (ODE), partial differential equations (PDE), differential algebraic equations ... system of firstorder ordinary differential equations (ODE), of partial differential equations (PDE), of differential...

posets
 Referenced in 18 articles
[sw07773]
 provide an environment for computations involving partially ordered sets and related structures. The package...

DARCLASS
 Referenced in 17 articles
[sw06195]
 their computational complexity, we define a partial ordering on the problem class and incorporate...

CSPprover
 Referenced in 17 articles
[sw11465]
 denotational semantics: the theory of complete partial orders (cpo) as well as the theory...

VHPOP
 Referenced in 11 articles
[sw20688]
 VHPOP: Versatile heuristic partial order planner. VHPOP is a Partial Order Causal Link (POCL) planner...

TGFF
 Referenced in 15 articles
[sw17689]
 which requires problem instances consisting of partiallyordered or directed acyclic graphs (DAGs) of tasks...

HSL_MI20
 Referenced in 58 articles
[sw07246]
 discretization of secondorder scalar elliptic selfadjoint partial differential equations. It can also...