MUNCH - Automated Reasoner for Sets and Multisets

DOI10.1007/978-3-642-14203-1_13zbMath1291.68367OpenAlexW1537446635MaRDI QIDQ5747757

Ruzica Piskac, Viktor Kuncak

Publication date: 14 September 2010

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://infoscience.epfl.ch/record/161291/files/PiskacKuncak10MUNCHAutomatedReasonerforSets.pdf

Mathematics Subject Classification ID

Related Items

MUNCH, Efficient automated reasoning about sets and multisets with cardinality constraints

Uses Software

• Isabelle
• KRAKATOA
• Why3
• Caduceus
• z3
• KIV

Cites Work

• Deciding Boolean algebra with Presburger arithmetic
• Multitree automata that count
• Semigroups, Presburger formulas, and languages
• Linear Arithmetic with Stars
• Minimal solutions of linear diophantine systems : bounds and algorithms
• Decision Procedures for Multisets with Cardinality Constraints