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

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

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

lp2normal
 Referenced in 7 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...

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

2Phase NSGA II
 Referenced in 3 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...

cc(FD)
 Referenced in 18 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...

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

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

FourierSAT
 Referenced in 1 article
[sw40459]
 other types of constraints (e.g., cardinality constraints and XORs) are less wellstudied; a general...

OptiLog
 Referenced in 1 article
[sw41588]
 toolkit for encoding Pseudo Boolean and Cardinality constraints. Finally, it leverages the power of automatic...

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 1888 articles
[sw00161]
 Coq is a formal proof management system. It...

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

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