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

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

Hopscotch
 Referenced in 44 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...

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

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

FISHPAK
 Referenced in 99 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...

FPINNs
 Referenced in 27 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...

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

VipTool
 Referenced in 14 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...

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

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

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

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

Exp.Open
 Referenced in 10 articles
[sw07702]
 Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and OnTheFly Verification Methods ... Exp.Open 2.0 implements onthefly partial order reductions to avoid the generation of irrelevant...