Lazy satisfiability modulo theories
From MaRDI portal
Recommendations
Cited in
(59)- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis
- Theory decision by decomposition
- Combination of convex theories: modularity, deduction completeness, and explanation
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- Superposition decides the first-order logic fragment over ground theories
- Learning modulo theories for constructive preference elicitation
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions
- \textsc{OptiMathSAT}: a tool for optimization modulo theories
- SPASS-SATT. A CDCL(LA) solver
- Advanced SMT techniques for weighted model integration
- Iterative and core-guided maxsat solving: a survey and assessment
- Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
- A Boolean satisfiability approach to the resource-constrained project scheduling problem
- SMT proof checking using a logical framework
- Combined task- and network-level scheduling for distributed time-triggered systems
- A practical approach to satisfiability modulo linear integer arithmetic
- Delegatable functional signatures
- Colors Make Theories Hard
- A survey of satisfiability modulo theory
- \textsf{TSAT++}: an open platform for satisfiability modulo theories
- Optimization modulo theories with linear rational costs
- On interpolation in decision procedures
- Stochastic local search for SMT: combining theory solvers with WalkSAT
- SAT-Based Model Checking
- Satisfiability modulo theories
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- MathCheck: a math assistant via a combination of computer algebra systems and SAT solvers
- Towards SMT Model Checking of Array-Based Systems
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories
- Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
- On deciding satisfiability by theorem proving with speculative inferences
- Resolution proof transformation for compression and interpolation
- Solving constraint satisfaction problems with SAT modulo theories
- Solving weighted CSPs with meta-constraints by reformulation into satisfiability modulo theories
- Complexity-sensitive decision procedures for abstract argumentation
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- Structured learning modulo theories
- Light-weight SMT-based model checking
- Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
- Interpolant Generation for UTVPI
- Automated reasoning in \(\mathcal{ALCQ}\) via SMT
- Symbolic execution as DPLL modulo theories
- Exploiting subproblem optimization in SAT-based maxsat algorithms
- Splitting on Demand in SAT Modulo Theories
- An Abstract Framework for Satisfiability Modulo Theories
- Efficient Interpolant Generation in Satisfiability Modulo Theories
- Computer Aided Verification
- A Progressive Simplifier for Satisfiability Modulo Theories
- Automated generation of hybrid automata for multi-rigid-body mechanical systems and its application to the falsification of safety properties
- Verification Modulo theories
- Local Search For Satisfiability Modulo Integer Arithmetic Theories
- Local Search for SMT on Linear Integer Arithmetic
- On enumerating short projected models
- Exploiting partial-assignment enumeration in optimization modulo theories
- Entailment vs. verification for partial-assignment satisfiability and enumeration
- Certifying incremental SAT solving
- An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty
- Probabilistic satisfiability: algorithms with the presence and absence of a phase transition
This page was built for publication: Lazy satisfiability modulo theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3506045)
