satisfiability modulo theories

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 FregeLogic at SemEval 2026 Task 11: A Hybrid Neuro-Symbolic Architecture for Content-Robust Syllogistic Validity Prediction SemEval 2026 Making Logic a First-Class Citizen in Generative ML for Networking NSDI 2026 Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates IJCAI 2025 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 Grounding Neural Inference with Satisfiability Modulo Theories NeurIPS 2023 Reachability Games Modulo Theories with a Bounded Safety Player AAAI 2023 Relational Program Synthesis with Numerical Reasoning AAAI 2023 SMT Safety Verification of Ontology-Based Processes AAAI 2023 Linear Temporal Logic Modulo Theories over Finite Traces IJCAI 2022 Neural Lyapunov Control of Unknown Nonlinear Systems with Stability Guarantees NeurIPS 2022 Multi-Goal Multi-Agent Path Finding via Decoupled and Integrated Goal Vertex Ordering AAAI 2021 Politeness for the Theory of Algebraic Datatypes (Extended Abstract) IJCAI 2021 Reducing Neural Network Parameter Initialization Into an SMT Problem (Student Abstract) AAAI 2021 SMT-based Safety Checking of Parameterized Multi-Agent Systems AAAI 2021 Scaling up Hybrid Probabilistic Inference with Logical and Arithmetic Constraints via Message Passing ICML 2020 Concurrency Debugging with MaxSMT AAAI 2019 Robustness Envelopes for Temporal Plans AAAI 2019 Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories IJCAI 2019 Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018 Personnel Scheduling as Satisfiability Modulo Theories IJCAI 2017 Weighted Model Integration with Orthogonal Transformations IJCAI 2017 Push-Button Verification of File Systems via Crash Refinement OSDI 2016