ESSLLI
1999
Springer
13 years 9 months ago
1999
Springer
ESSLLI
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...