Labelled Splitting
From MaRDI portal
Publication:3541723
DOI10.1007/978-3-540-71070-7_39zbMath1165.03314OpenAlexW2913204979MaRDI QIDQ3541723
Christoph Weidenbach, Arnaud Fietzke
Publication date: 27 November 2008
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71070-7_39
Related Items
Semantically-guided goal-sensitive reasoning: model representation ⋮ Semantically-guided goal-sensitive reasoning: inference system and completeness ⋮ Engineering DPLL(T) + Saturation ⋮ Labelled splitting