automated reasoning

2026-08-09 Program Synthesis from Partial Traces
2024-11-26 Encoding Cardinality Constraints in Automated Reasoning