Polynomial Constraints for Sets with Cardinality Bounds

DOI10.1007/978-3-540-71389-0_19zbMath1195.68049OpenAlexW1783037402MaRDI QIDQ5758056

Viktor Kuncak, Bruno Marnette, Martin C. Rinard

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_19

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in computer science (03B70)

Related Items (3)

Deciding Boolean algebra with Presburger arithmetic ⋮ Syllogistic Logic with “Most” ⋮ Decision Procedures for Multisets with Cardinality Constraints

This page was built for publication: Polynomial Constraints for Sets with Cardinality Bounds