Collections, Cardinalities, and Relations
From MaRDI portal
Publication:3656897
DOI10.1007/978-3-642-11319-2_27zbMath1273.03110OpenAlexW1525684574MaRDI QIDQ3656897
Ruzica Piskac, Kuat Yessenov, Viktor Kuncak
Publication date: 14 January 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-11319-2_27
Related Items
Decision Procedures for Region Logic, Cardinality constraints for arrays (decidability results and applications), Sets with Cardinality Constraints in Satisfiability Modulo Theories, Counting Constraints in Flat Array Fragments
