Computer Science Logic
From MaRDI portal
Publication:5311286
DOI10.1007/b100120zbMath1095.68111OpenAlexW2481899496MaRDI QIDQ5311286
Harald Ganzinger, Konstantin Korovin
Publication date: 22 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100120
Related Items
Solving quantified linear arithmetic by counterexample-guided instantiation, Model evolution with equality -- revised and implemented, A combined superposition and model evolution calculus, An instantiation scheme for satisfiability modulo theories, Decision procedures for extensions of the theory of arrays, Harald Ganzinger’s Legacy: Contributions to Logics and Programming, Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning, The Relative Power of Semantics and Unification, iProver-Eq: An Instantiation-Based Theorem Prover with Equality, Blocking and other enhancements for bottom-up model generation methods
