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