scientific article
From MaRDI portal
Publication:3181652
zbMath1187.68168MaRDI QIDQ3181652
Publication date: 12 October 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Data structures (68P05)
Related Items (13)
Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays ⋮ Incremental bounded model checking for embedded software ⋮ Propagation based local search for bit-precise reasoning ⋮ Weakly Equivalent Arrays ⋮ Efficiently solving quantified bit-vector formulas ⋮ Resolution proof transformation for compression and interpolation ⋮ Counterexample-guided prophecy for model checking modulo the theory of arrays ⋮ Optimization modulo the theories of signed bit-vectors and floating-point numbers ⋮ Conflict-driven satisfiability for theory combination: transition system and completeness ⋮ Optimization modulo the theory of floating-point numbers ⋮ An SMT theory of fixed-point arithmetic ⋮ Array theory of bounded elements and its applications ⋮ Reasoning in the theory of heap: satisfiability and interpolation
Uses Software
This page was built for publication:
