Decision Procedures for Multisets with Cardinality Constraints
From MaRDI portal
Recommendations
- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
- Collections, Cardinalities, and Relations
- Cardinality constraints for arrays (decidability results and applications)
- Reasoning with finite sets and cardinality constraints in SMT
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
Cites work
- Automated Verification of Shape and Size Properties Via Separation Logic
- Carathéodory bounds for integer cones
- Decidability and definability results related to the elementary theory of ordinal multiplication
- Deciding Boolean algebra with Presburger arithmetic
- scientific article; zbMATH DE number 176134 (Why is no real title available?)
- scientific article; zbMATH DE number 2090313 (Why is no real title available?)
- scientific article; zbMATH DE number 3336816 (Why is no real title available?)
- scientific article; zbMATH DE number 3416946 (Why is no real title available?)
- Introduction to set constraint-based program analysis
- Isabelle/HOL. A proof assistant for higher-order logic
- Multitree automata that count
- On the complexity of integer programming
- Polynomial Constraints for Sets with Cardinality Bounds
- Semigroups, Presburger formulas, and languages
- Subtractive reductions and complete problems for counting complexity classes
- The first order properties of products of algebraic systems
- Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic
- Verification, Model Checking, and Abstract Interpretation
Cited in
(17)- Cardinality constrained and multicriteria (multi)cut problems
- Cardinality constraints for arrays (decidability results and applications)
- Counting constraints in flat array fragments
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT
- Decision Procedures for Automating Termination Proofs
- Satisfiability modulo theories
- Linear Arithmetic with Stars
- Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
- Combining theories with shared set operations
- Reasoning with finite sets and cardinality constraints in SMT
- scientific article; zbMATH DE number 2090313 (Why is no real title available?)
- Certified reasoning with infinity
- MUNCH -- automated reasoner for sets and multisets
- Polite combination in parametric array theories
- Verifying SQL queries using theories of tables and relations
- Integrating cardinality constraints into constraint logic programming with sets
- Selecting a single result from an aggregate of contradictory alternatives with use of multiset theory
This page was built for publication: Decision Procedures for Multisets with Cardinality Constraints
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5452719)
