conftrace_

smt solving

22 papers

Explore in graph

Co-occurring keywords

formal verification (284) smt solver (18) weighted model integration (15) satisfiability modulo theories (22) constraint solving (39) probabilistic inference (312) continuous variable (10) hybrid domain (6) constraint satisfaction (294) automated reasoning (122)

Papers

Relational Verification for Cost-Aware Quantum Program Optimization AAAI 2026
LLM-Guided Quantified SMT Solving over Uninterpreted Functions AAAI 2026
Simulate, Refine and Integrate: Strategy Synthesis for Efficient SMT Solving IJCAI 2025
Temporal Numeric Planning with Patterns AAAI 2025
A Complete Algorithm for Optimization Modulo Nonlinear Real Arithmetic AAAI 2025
Safety Verification and Universal Invariants for Relational Action Bases IJCAI 2023
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Learning to Configure Computer Networks with Neural Algorithmic Reasoning NIPS 2022
SMT-based weighted model integration with structure awareness UAI 2022
Combining Constraint Solving and Bayesian Techniques for System Optimization IJCAI 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser EMNLP 2022
Scalable Verification of Quantized Neural Networks AAAI 2021
Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020
Learning Weighted Model Integration Distributions AAAI 2020
Verifying Robustness of Gradient Boosted Models AAAI 2019
Interactive Robot Transition Repair With SMT IJCAI 2018
Learning SMT(LRA) Constraints using SMT Solvers IJCAI 2018
Learning to Solve SMT Formulas NIPS 2018
Classical Generalized Probabilistic Satisfiability IJCAI 2017
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction IJCAI 2017
Relaxed Exists-Step Plans in Planning as SMT IJCAI 2017
Push-Button Verification of File Systems via Crash Refinement OSDI 2016