Recommendations
Cites work
- scientific article; zbMATH DE number 1696811 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 67483 (Why is no real title available?)
- scientific article; zbMATH DE number 1113816 (Why is no real title available?)
- scientific article; zbMATH DE number 1979414 (Why is no real title available?)
- scientific article; zbMATH DE number 3245483 (Why is no real title available?)
- Bicoloring Steiner triple systems
- CLAIRE: combining sets, search and rules to better express algorithms
- Interval propagation to reason about sets: Definition and implementation of a practical language
- Principles and Practice of Constraint Programming – CP 2004
- Principles and Practice of Constraint Programming – CP 2004
Cited in
(14)- scientific article; zbMATH DE number 2085269 (Why is no real title available?)
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Lazy constraint imposing for improving the path constraint
- Recent Advances in Constraints
- Improved filtering for weighted circuit constraints
- Enhancing set constraint solvers with lexicographic bounds
- Cardinal
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
- Reasoning with finite sets and cardinality constraints in SMT
- Combining Two Structured Domains for Modeling Various Graph Matching Problems
- scientific article; zbMATH DE number 1696811 (Why is no real title available?)
- Multiset variable representations and constraint propagation
- Probabilistic constraints for nonlinear inverse problems
- More Efficient Match-Making and Satisfiability The Five Card Trick
This page was built for publication: Cardinal: a finite sets constraint solver
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879977)
