Sciweavers

JETAI
2008

Weighting strategy for non-clausal resolution

13 years 3 months ago
Weighting strategy for non-clausal resolution
Abstract. This paper describes a proof search procedure for propositional nonclausal resolution based on a new weighting strategy that utilizes search methods for propositional satisfiability (SAT solvers) and stochastic local search techniques for constructing countermodels. Key words: automated reasoning, non-clausal resolution, propositional satisfiability
Zbigniew Stachniak, Anton Belov
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2008
Where JETAI
Authors Zbigniew Stachniak, Anton Belov
Comments (0)