scientific article; zbMATH DE number 2086594

MaRDI QIDQ4737128zbMATH OpenFDO

Authors Calogero G. Zarba

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2309/23090103.htm

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 2090313
• Combining sets with cardinals
• Verification: Theory and Practice
• Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
• Unions of non-disjoint theories and combinations of satisfiability procedures

Cited in

(18)

• Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
• Cardinality constraints for arrays (decidability results and applications)
• Efficient theory combination via Boolean search
• Decision procedures for term algebras with integer constraints
• A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
• Sets with cardinality constraints in satisfiability modulo theories
• Reasoning with finite sets and cardinality constraints in SMT
• scientific article; zbMATH DE number 2090313 (Why is no real title available?)
• Combining non-stably infinite theories
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
• scientific article; zbMATH DE number 7552282 (Why is no real title available?)
• Verification: Theory and Practice
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case
• A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
• On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework
• Integrating cardinality constraints into constraint logic programming with sets
• Combining sets with cardinals
• Combining nonstably infinite theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4737128)