
Cardinal
 Referenced in 10 articles
[sw06999]
 Cardinal: a finite sets constraint solver. In this paper we present Cardinal, a general finite ... show the importance of propagating constraints on sets cardinality, by comparing Cardinal with other solvers ... more limited amount of constraint propagation on cardinalities. Additionally, to further extend modelling capabilities ... efficiency, we generalized Cardinal to actively consider constraints over set functions other than cardinality...

maxino
 Referenced in 8 articles
[sw33093]
 Francesco Ricca. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size...

PySAT
 Referenced in 8 articles
[sw25459]
 also integrates a number of cardinality constraint encodings, all aiming at simplifying the prototyping process...

meSAT
 Referenced in 5 articles
[sw29642]
 constraints that are often encountered (e.g., cardinality constraints, global constraints). However, there is no single...

lp2normal
 Referenced in 4 articles
[sw25505]
 ease modeling of complex conditions and constraints. Normalization means replacing such extended rules with identically ... provides options to translate away choice rules, cardinality rules, and weight rules, and to rewrite ... solver without direct support for cardinality constraints or pseudoBoolean constraints...

cc(FD)
 Referenced in 17 articles
[sw21237]
 constraint solver includes (nonlinear) arithmetic constraints over natural numbers which are approximated using domain ... particular cardinality, constructive disjunction, and blocking implication, in conjunction with new constraint operations such...

FaCiLe
 Referenced in 4 articles
[sw31028]
 possibly nonlinear), builtin global constraints (difference, cardinality, sorting etc.) and search and optimization ... well to build easily userdefined constraints and goals (including recursive ones), making pervasive...

2Phase NSGA II
 Referenced in 2 articles
[sw28524]
 risk measure. There are many constraints in the world that ultimately lead ... convex search space such as cardinality constraint. In conclusion, parametric quadratic programming could...

RC2
 Referenced in 1 article
[sw36048]
 maximum satisfiability. RC2 stands for relaxable cardinality constraints (alternatively, soft cardinality constraints) and represents...

XASP
 Referenced in 5 articles
[sw13876]
 cardinality and weight constraint syntax supported by SModels, in addition to default negation. When...

MaxPre
 Referenced in 1 article
[sw21952]
 preprocessing techniques, and offers solution reconstruction, cardinality constraint encoding, and an API for tight integration...

MUNCH
 Referenced in 1 article
[sw07181]
 integers. Constraints over collections and integers are connected using the cardinality operator. Our logic ... solve the generated integer linear arithmetic constraints...

RCDC
 Referenced in 1 article
[sw14739]
 name RCD, for qualitative spatial reasoning with cardinal direction relations between regions of the plane ... using methods embedded in the paradigm of constraint satisfaction problems. We identify a large tractable...

QAGen
 Referenced in 3 articles
[sw25442]
 input and/or the output (e.g., the cardinality) of each individual operator of a test query ... database schema and the set of basic constraints defined on the base tables, QAGen takes ... query and the set of constraints defined on the query as input, and generates ... testing of memory managers and testing the cardinality estimation components of query optimizers...

CCSP
 Referenced in 14 articles
[sw00111]
 CCSP: A formal system for distributed program debugging...

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

CSDP
 Referenced in 200 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

DFinder
 Referenced in 16 articles
[sw00200]
 DFinder tool implements a compositional method for...

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

HSL
 Referenced in 275 articles
[sw00418]
 HSL (formerly the Harwell Subroutine Library) is a...