Maximiliano Cristiá

Integrating Cardinality Constraints into Constraint Logic Programming with Sets

2021 · Theory and Practice of Logic Programming

Abstract Formal reasoning about finite sets and cardinality is important for many applications, including software verification, where very often one needs to reason about the size of a given data structure. The Constraint Logic Programming …