Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search

Add code
Apr 09, 2025
Figure 1 for Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Figure 2 for Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Figure 3 for Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Figure 4 for Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: