• 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 pseudo-Boolean 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 non-linear), built-in global constraints (difference, cardinality, sorting etc.) and search and optimization ... well to build easily user-defined constraints and goals (including recursive ones), making pervasive...
  • 2-Phase 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...
  • D-Finder

  • Referenced in 16 articles [sw00200]
  • D-Finder 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...