Decision Procedures for Multisets with Cardinality Constraints
Abstract elided by the publisher.
Related papers
- Collections, Cardinalities, and Relations VMCAI 2010
- Decision procedures for algebraic data types with abstractions POPL 2010
- Sets with Cardinality Constraints in Satisfiability Modulo Theories VMCAI 2011
- Decision Procedures for Automating Termination Proofs VMCAI 2011
- On inter-procedural analysis of programs with lists and data PLDI 2011
- A Decision Procedure for String Logic with Quadratic Equations, Regular Expressions and Length Constraints APLAS 2018
- A decision procedure for subset constraints over regular languages PLDI 2009
- From Clauses to Klauses CAV 2024