
CORSAR
 Referenced in 2 articles
[sw11695]
 model software complex designed to analyze scheduling rules for resourceintensive heterogeneous problems of search ... fragments so that one can use sliding scheduling methods and optimize parallelizing processes when processing...

HIBISCUS
 Referenced in 13 articles
[sw31090]
 search strategy to formulate and solve staff scheduling problems in health care. This ... show how the main categories of rules involved may be expressed using global constraints...

PROGRESS
 Referenced in 12 articles
[sw02382]
 extends the wellknown resourceconstrained project scheduling problem (RCPSP) by considering job specific release ... PROGRESS is developed which includes new dominance rules as well as enhancements of existing ones...

CHR
 Referenced in 3 articles
[sw20512]
 Handling Rules (CHR) is a committedchoice rulebased language embedded in Prolog ... used in many kinds of applications, like scheduling, model checking, abduction, and type checking, among...

Memorize
 Referenced in 1 article
[sw30155]
 uses repeated review of content following a schedule determined by a spaced repetition algorithm ... However, current spaced repetition algorithms are simple rulebased heuristics with a few hardcoded ... reviewing frequency, the optimal reviewing schedule is given by the recall probability itself...

FlowAgent
 Referenced in 1 article
[sw01585]
 Workflow Management System) can flexibly describe business rules among autonomous `service tasks’, and support scalability ... dynamic and distributed environment for taskscheduling...

ACL2
 Referenced in 275 articles
[sw00060]
 ACL2 is both a programming language in which...

BARON
 Referenced in 307 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CGAL
 Referenced in 344 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1758 articles
[sw00161]
 Coq is a formal proof management system. It...

GAP
 Referenced in 2735 articles
[sw00320]
 GAP is a system for computational discrete algebra...

IMITATOR
 Referenced in 27 articles
[sw00439]
 IMITATOR is a software tool for parametric verification...

Isabelle
 Referenced in 601 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

KNITRO
 Referenced in 169 articles
[sw00490]
 KNITRO is a solver for nonlinear optimization. It...

LANCELOT
 Referenced in 293 articles
[sw00500]
 LANCELOT. A Fortran package for largescale nonlinear...

LAPACK
 Referenced in 1599 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 258 articles
[sw00509]
 In the core computer science areas  data structures...

Magma
 Referenced in 2747 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 4956 articles
[sw00545]
 The result of over 30 years of cutting...