Computer Science Logic

DOI10.1007/b100120zbMath1095.68112OpenAlexW2481899496MaRDI QIDQ5311278

No author found.

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

Mathematics Subject Classification ID

Related Items

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations, On deciding satisfiability by theorem proving with speculative inferences, On Deciding Satisfiability by DPLL( $\Gamma+{\mathcal T}$ ) and Unsound Theorem Proving, Blocking and other enhancements for bottom-up model generation methods