Inferring Congruence Equations Using SAT
No abstract available.
Related papers
- Algebraic Reasoning and Completeness in Typed Languages POPL 1993
- Incremental SAT-Based Enumeration of Solutions to the Yang-Baxter Equation TACAS 2025
- Programming up to Congruence POPL 2015
- Using Types as Search Keys in Function Libraries JFP 1991
- A Sparse Algorithm for Predicated Global Value Numbering PLDI 2002
- A Theory of Core Fudgets ICFP 1998
- An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants SAS 2024
- Formally Optimal Boxing POPL 1994