Philip Zucker
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Prog. Lang.×2Logic×1
Frequent co-authors
Research Timeline
2026
Answer Set Programming for Egg Extraction and More
Improving term extraction from e-graphs using answer set programming (ASP)
Lifting E-Graphs: A Function Isn't a Constant
An approach is described to support rigid α canonical variables in an e-graph.
Highlighted terms show continued research focus across papers