Pages that link to "Item:Q5703769"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703769):
Displaying 20 items.
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) (Q861691) (← links)
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures (Q862395) (← links)
- Fast congruence closure and extensions (Q876046) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Experimenting on solving nonlinear integer arithmetic with incremental linearization (Q1656597) (← links)
- Linear templates of ACTL formulas with an application to SAT-based verification (Q2398494) (← links)
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint (Q2398511) (← links)
- Satisfiability modulo transcendental functions via incremental linearization (Q2405243) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- Integration of linear arithmetic and goal-oriented resolution for software reasoning (Q2782497) (← links)
- A practical approach to satisfiability modulo linear integer arithmetic (Q2786906) (← links)
- An even closer integration of linear arithmetic into inductive theorem proving (Q2852038) (← links)
- A Function Elimination Method for Checking Satisfiability of Arithmetical Logics (Q2968852) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver (Q3510788) (← links)
- Efficient Term-ITE Conversion for Satisfiability Modulo Theories (Q3637169) (← links)
- SEPARATING AUXILIARY ARITY HIERARCHY OF FIRST-ORDER INCREMENTAL EVALUATION SYSTEMS USING (3K+1)-<font>ary</font> INPUT RELATIONS (Q4528763) (← links)
- A Constraint Sequent Calculus for First-Order Logic with Linear Integer Arithmetic (Q5505560) (← links)
- Theory and Applications of Satisfiability Testing (Q5713714) (← links)