Towards bit-width-independent proofs in SMT solvers (Q2305428): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Extending Sledgehammer with SMT solvers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: SMTCoq: a plug-in for integrating SMT solvers into Coq / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2703808 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of fixed-size bit-vector logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decision procedures. An algorithmic point of view / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient E-Matching for SMT Solvers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Solving quantified bit-vectors using invertibility conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4823141 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Syntax-guided rewrite rule enumeration for SMT solvers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Unification with abstraction and theory instantiation in saturation-based reasoning / rank
 
Normal rank
Property / cites work
 
Property / cites work: Revisiting enumerative instantiation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Counterexample-guided quantifier instantiation for synthesis in SMT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Designing theory solvers with extensions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics in Artificial Intelligence / rank
 
Normal rank
Property / cites work
 
Property / cites work: AVATAR: The Architecture for First-Order Theorem Provers / rank
 
Normal rank

Latest revision as of 01:07, 22 July 2024

scientific article
Language Label Description Also known as
English
Towards bit-width-independent proofs in SMT solvers
scientific article

    Statements

    Towards bit-width-independent proofs in SMT solvers (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    10 March 2020
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers