Please use this identifier to cite or link to this item:
|Title:||Counting for satisfiability by inverting resolution|
Counting truth assignments
|Citation:||Andrei, S. (2004-12). Counting for satisfiability by inverting resolution. Artificial Intelligence Review 22 (4) : 339-366. ScholarBank@NUS Repository. https://doi.org/10.1007/s10462-004-4329-2|
|Abstract:||We present a new algorithm for counting truth assignments of a clausal formula using inverse prepositional resolution and its associated normalization rules. The idea is opposite of the classical resolution, and is achieved by constructing in a bottom-up manner a computation graph. This means that we successively add complementary literals to generate new bigger clauses instead of solving them. Next, we make a comparison between the classical and inverse resolution, followed by a new algorithm which combines these two techniques for solving the SAT problem.|
|Source Title:||Artificial Intelligence Review|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Oct 18, 2018
WEB OF SCIENCETM
checked on Oct 2, 2018
checked on Aug 10, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.