← Keywords

constraint solving

39 papers

Explore in graph

Also known as

SMT

Co-occurring keywords

constraint satisfaction (293) combinatorial optimization (1039) model-based diagnosis (18) automated reasoning (122) smt solver (18) smt solving (22) large language model (12755) satisfiability modulo theories (22) boolean satisfiability (32) syntactic parsing (385)

Papers

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
Learning Big Logical Rules by Joining Small Rules IJCAI 2024
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024
Navigate Complex Physical Worlds via Geometrically Constrained LLM EMNLP 2024
Symbolic Numeric Planning with Patterns AAAI 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NIPS 2023
VeriX: Towards Verified Explainability of Deep Neural Networks NIPS 2023
Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser EMNLP 2022
Combining Constraint Solving and Bayesian Techniques for System Optimization IJCAI 2022
SCALE: Automatically Finding RFC Compliance Bugs in DNS Nameservers NSDI 2022
Modular Switch Programming Under Resource Constraints NSDI 2022
Learning Logic Programs Though Divide, Constrain, and Conquer AAAI 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
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
Reasoning About Inconsistent Formulas IJCAI 2020
FourierSAT: A Fourier Expansion-Based Algebraic Framework for Solving Hybrid Boolean Constraints AAAI 2020
Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020
Topological Sort for Sentence Ordering ACL 2020