共 50 条
- [41] Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2023, 2023, 14330 : 9 - 27
- [43] Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes PROCEEDINGS OF THE 56TH ANNUAL ACM SYMPOSIUM ON THEORY OF COMPUTING, STOC 2024, 2024, : 1550 - 1560