constraint solving

Choosing Abstraction Levels for Model-Based Software Debugging: A Theoretical and Empirical Analysis for Spreadsheet Programs (Abstract Reprint) AAAI 2026 Exploiting Symmetries in MUS Computation AAAI 2025 VCSearch: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning EMNLP 2025 CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024 Disjoint Partial Enumeration without Blocking Clauses AAAI 2024 Learning Big Logical Rules by Joining Small Rules IJCAI 2024 Navigate Complex Physical Worlds via Geometrically Constrained LLM EMNLP 2024 Symbolic Numeric Planning with Patterns AAAI 2024 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023 Softened Symbol Grounding for Neuro-symbolic Systems ICLR 2023 VeriX: Towards Verified Explainability of Deep Neural Networks NeurIPS 2023 Combining Constraint Solving and Bayesian Techniques for System Optimization IJCAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022 Learning Logic Programs Though Divide, Constrain, and Conquer AAAI 2022 Modular Switch Programming Under Resource Constraints NSDI 2022 Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser CoNLL 2022 Reinforcement Learning with Stochastic Reward Machines AAAI 2022 SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers NSDI 2022 Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022 Automated Reasoning and Learning for Automated Payroll Management AAAI 2021 Faster and Better Simple Temporal Problems AAAI 2021 FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020 Reasoning About Inconsistent Formulas IJCAI 2020 Topological Sort for Sentence Ordering ACL 2020