Cardinal: a finite sets constraint solver
From MaRDI portal
Publication:879977
DOI10.1007/S10601-006-9012-6zbMATH Open1118.68653OpenAlexW2001769932MaRDI QIDQ879977FDOQ879977
Publication date: 10 May 2007
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-006-9012-6
Recommendations
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)
Cites Work
- CLAIRE: combining sets, search and rules to better express algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Bicoloring Steiner triple systems
- Interval propagation to reason about sets: Definition and implementation of a practical language
- Title not available (Why is that?)
- Principles and Practice of Constraint Programming – CP 2004
- Title not available (Why is that?)
- Title not available (Why is that?)
- Principles and Practice of Constraint Programming – CP 2004
Cited In (13)
- Solving quantifier-free first-order constraints over finite sets and binary relations
- Recent Advances in Constraints
- Improved filtering for weighted circuit constraints
- Enhancing set constraint solvers with lexicographic bounds
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
- Cardinal
- Combining Two Structured Domains for Modeling Various Graph Matching Problems
- Title not available (Why is that?)
- Lazy Constraint Imposing for Improving the Path Constraint
- Multiset variable representations and constraint propagation
- Probabilistic constraints for nonlinear inverse problems
- More Efficient Match-Making and Satisfiability The Five Card Trick
- Title not available (Why is that?)
Uses Software
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)
