Cardinal: a finite sets constraint solver
type: Item
instance of: scholarly article
title: Cardinal: a finite sets constraint solver
zbMATH Open document ID: 1118.68653
author: Francisco Azevedo
published in: Constraints
publication date: 2007-05-10T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5151347
zbMATH Keywords: CLP, Constraint Logic Programming
zbMATH Keywords: PI, Primary Input
zbMATH Keywords: TG, Test Generation
describes a project that uses: CLAIRE
describes a project that uses: CPLEX
describes a project that uses: CaSPER
describes a project that uses: CSPLib
describes a project that uses: OR-Library
MaRDI profile type: Publication
full work available at URL: s10601-006-9012-6
OpenAlex ID: W2001769932
cites work: Q4425816
cites work: Q2767076
cites work: Q5532570
cites work: CLAIRE: combining sets, search and rules to better express algorithms
cites work: Q4375589
cites work: Q4012216
cites work: Bicoloring Steiner triple systems
cites work: Interval propagation to reason about sets: Definition and implementation of a practical language
cites work: Q3898534
cites work: Principles and Practice of Constraint Programming – CP 2004
DOI: 10.1007/S10601-006-9012-6
description: scientific article; zbMATH DE number 5151347