共 50 条
- [22] Interpolating Quantifier-Free Presburger Arithmetic LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 489 - +
- [28] Quantifier-free encoding of invariants for hybrid systems Formal Methods in System Design, 2014, 45 : 165 - 188
- [30] Solving Quantifier-Free First-Order Constraints Over Finite Sets and Binary Relations Journal of Automated Reasoning, 2020, 64 : 295 - 330