{"total":14,"rows":[{"id":"2211.00541","title":"Logic-Based Explainability in Machine Learning","created":"2022-10-24","cited_by_count":48,"area":null},{"id":"2404.17316","title":"Certified MaxSAT Preprocessing","created":"2024-04-26","cited_by_count":3,"area":null},{"id":"2501.17493","title":"Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability","created":"2025-01-29","cited_by_count":2,"area":null},{"id":"2406.11414","title":"Formally Certified Approximate Model Counting","created":"2024-06-17","cited_by_count":1,"area":null},{"id":"2508.07015","title":"Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach","created":"2025-08-09","cited_by_count":1,"area":null},{"id":"2602.08692","title":"PBLean: Pseudo-Boolean Proof Certificates for Lean 4","created":"2026-02-09","cited_by_count":1,"area":null},{"id":"2407.14120","title":"The Cardinality of Identifying Code Sets for Soccer Ball Graph with Application to Remote Sensing","created":"2024-07-19","cited_by_count":0,"area":null},{"id":"2410.15897","title":"IGMaxHS -- An Incremental MaxSAT Solver with Support for XOR Clauses","created":"2024-10-21","cited_by_count":0,"area":null},{"id":"2506.04452","title":"An Expansion-Based Approach for Quantified Integer Programming","created":"2025-06-04","cited_by_count":0,"area":null},{"id":"2511.16637","title":"Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables","created":"2025-11-20","cited_by_count":0,"area":null},{"id":"2601.16855","title":"Orbitopal Fixing in SAT","created":"2026-01-23","cited_by_count":0,"area":null},{"id":"2607.28459","title":"LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean","created":"2026-07-30","cited_by_count":0,"area":null},{"id":"2609.20873","title":"The Refutation Gap: Certifying Both Halves of an Optimality Claim","created":"2026-09-16","cited_by_count":0,"area":null},{"id":"2609.26207","title":"RCShift: Certifying When Partial Linkage Suffices for Finite-Sample Decisions","created":"2026-08-11","cited_by_count":0,"area":null}],"next_cursor":null}