
Cmodels
 Referenced in 72 articles
[sw04435]
 solvers as a search engine for enumerating models of the logic program  possible solutions ... also used for verifying the minimality of found models. The system Cmodels is based ... sets for such a program can be enumerated by a SAT solver. On the other...

HgMUS
 Referenced in 5 articles
[sw40121]
 with applications to axiom pinpointing. The enumeration of minimal unsatisfiable subsets (MUSes) finds a growing ... description logics (DLs) can be modeled as the enumeration of the groupMUSes of Horn...

PULi
 Referenced in 1 article
[sw28623]
 based methods have been proposed that can enumerate all justifications for entailments in lightweight ... propositional Horn logic, and finding minimal models that correspond to justifications using SAT solvers ... paper, we propose a new procedure for enumeration of justifications that uses resolution with answer...

MEMo
 Referenced in 1 article
[sw35921]
 analyse these models are `elementary flux modes’ (EFMs), which correspond to minimal functional units ... EFMs is too large to be enumerated...

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

cdd
 Referenced in 119 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

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

CoCoA
 Referenced in 659 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

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

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

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

LGO
 Referenced in 100 articles
[sw00516]
 The program system LGO serves to solve global...

Macaulay2
 Referenced in 1958 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

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

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

MapReduce
 Referenced in 267 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 6445 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 13702 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 584 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...