{"total":18,"rows":[{"id":"2107.08252","title":"Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches","created":"2021-07-17","cited_by_count":7,"area":null},{"id":"2109.08662","title":"Aggregate Semantics for Propositional Answer Set Programs","created":"2021-09-17","cited_by_count":5,"area":null},{"id":"2205.07537","title":"Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling","created":"2022-05-16","cited_by_count":3,"area":null},{"id":"2212.09077","title":"Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling","created":"2022-12-18","cited_by_count":3,"area":null},{"id":"2101.10162","title":"Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP","created":"2021-01-25","cited_by_count":2,"area":null},{"id":"2502.04302","title":"Strong Equivalence in Answer Set Programming with Constraints","created":"2025-02-06","cited_by_count":2,"area":null},{"id":"2502.09222","title":"ASP-driven User-interaction with Clinguin","created":"2025-02-13","cited_by_count":2,"area":null},{"id":"2108.03061","title":"Towards a Semantics for Hybrid ASP systems","created":"2021-08-06","cited_by_count":0,"area":null},{"id":"2307.14799","title":"Hybrid ASP-based multi-objective scheduling of semiconductor manufacturing processes (Extended version)","created":"2023-07-27","cited_by_count":0,"area":null},{"id":"2405.15794","title":"Finite Groundings for ASP with Functions: A Journey through Consistency","created":"2024-05-08","cited_by_count":0,"area":null},{"id":"2409.20274","title":"Probabilistic Answer Set Programming with Discrete and Continuous Random Variables","created":"2024-09-30","cited_by_count":0,"area":null},{"id":"2506.08150","title":"Compiling Metric Temporal Answer Set Programming","created":"2025-06-09","cited_by_count":0,"area":null},{"id":"2507.11150","title":"Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming","created":"2025-07-15","cited_by_count":0,"area":null},{"id":"2507.22774","title":"ASP-FZN: A Translation-based Constraint Answer Set Solver","created":"2025-07-30","cited_by_count":0,"area":null},{"id":"2607.13344","title":"EZSMT Version 3, Matured","created":"2026-07-15","cited_by_count":0,"area":null},{"id":"2607.15532","title":"Logic, Optimization, and Artificial Intelligence","created":"2026-07-17","cited_by_count":0,"area":null},{"id":"2607.21197","title":"Declarative Problem Solving in UAM Strategic Deconfliction","created":"2026-07-23","cited_by_count":0,"area":null},{"id":"2607.21201","title":"Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report","created":"2026-07-23","cited_by_count":0,"area":null}],"next_cursor":null}